Add the libglpk40 package.

This commit is contained in:
Andrea Dell'Amico 2024-04-17 19:41:30 +02:00
parent 0e724221fa
commit 161ad3c92f
Signed by: andrea.dellamico
GPG Key ID: 147ABE6CEB9E20FF
1 changed files with 1 additions and 1 deletions

View File

@ -47,7 +47,7 @@ RUN apt-get update --yes && \
libcurl4-gnutls-dev \ libcurl4-gnutls-dev \
libsodium-dev \ libsodium-dev \
libudunits2-dev \ libudunits2-dev \
libglpk libglpk40
RUN mkdir -p /opt/workspace-lib RUN mkdir -p /opt/workspace-lib
RUN mkdir /var/log/workspace-lib RUN mkdir /var/log/workspace-lib