Add the libglpk40 package.
This commit is contained in:
parent
dbe85ffbb3
commit
19d10a1d6d
|
@ -13,7 +13,7 @@ ENV DEBIAN_FRONTEND noninteractive
|
|||
# libraptor2-dev : Depends: libcurl4-gnutls-dev but it is not installable
|
||||
RUN apt-get update --yes && \
|
||||
apt-get install --yes --no-install-recommends \
|
||||
libglpk
|
||||
libglpk40
|
||||
|
||||
RUN mkdir -p /opt/workspace-lib
|
||||
RUN mkdir /var/log/workspace-lib
|
||||
|
|
Loading…
Reference in New Issue