diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh index fb8e2640..58d787f4 100755 --- a/docker/02-apt-get-install.sh +++ b/docker/02-apt-get-install.sh @@ -19,6 +19,7 @@ apt-get install -y \ coinor-libclp-dev \ curl \ dvipng \ + erlang \ freeglut3-dev \ freetds-dev \ fsharp \ diff --git a/docker/03-custom-install.sh b/docker/03-custom-install.sh index 2fd2f560..fcdf9a1c 100755 --- a/docker/03-custom-install.sh +++ b/docker/03-custom-install.sh @@ -18,13 +18,13 @@ update-alternatives --install "/usr/bin/ld" "ld" "/usr/bin/ld.bfd" 10 # echo "/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/amd64/server" > /etc/ld.so.conf.d/openjdk.conf \ # && ldconfig -# Install erlang/otp platform and its dependencies -ERLANG_DEB_FILE="esl-erlang_21.1-1~ubuntu~bionic_amd64.deb" -pushd /tmp \ - && wget https://packages.erlang-solutions.com/erlang/debian/pool/${ERLANG_DEB_FILE} \ - && (dpkg -i ${ERLANG_DEB_FILE}; apt-get install -yf) \ - && rm ${ERLANG_DEB_FILE} \ - && popd +# # Install erlang/otp platform and its dependencies +# ERLANG_DEB_FILE="esl-erlang_21.1-1~ubuntu~bionic_amd64.deb" +# pushd /tmp \ +# && wget https://packages.erlang-solutions.com/erlang/debian/pool/${ERLANG_DEB_FILE} \ +# && (dpkg -i ${ERLANG_DEB_FILE}; apt-get install -yf) \ +# && rm ${ERLANG_DEB_FILE} \ +# && popd # protoc, for proto-lens-combinators test suite # Instructions from: https://google.github.io/proto-lens/installing-protoc.html