diff --git a/dockerfiles/ub1804.Dockerfile b/dockerfiles/ub1804.Dockerfile index dc9bc8b4..08063605 100644 --- a/dockerfiles/ub1804.Dockerfile +++ b/dockerfiles/ub1804.Dockerfile @@ -2,19 +2,19 @@ FROM ubuntu:18.04 ARG DEBIAN_FRONTEND=noninteractive RUN apt-get update -q && apt-get install -yy \ - cmake \ - clang-7 \ - doxygen \ - git \ - gcc-8 \ - g++-8 \ - libcppunit-dev \ - libboost-all-dev \ - libhdf5-dev \ - libhdf5-serial-dev \ - libstdc++-8-dev \ - python-pip \ - valgrind \ + cmake=3.10.* \ + clang-7=1:7-3~ubuntu0.* \ + doxygen=1.8.* \ + git=1:2.17.* \ + gcc-8=8.4.* \ + g++-8=8.4.* \ + libcppunit-dev=1.14.* \ + libboost-all-dev=1.65.* \ + libhdf5-dev=1.10.* \ + libhdf5-serial-dev=1.10.* \ + libstdc++-8-dev=8.4.* \ + python-pip=9.0.* \ + valgrind=1:3.13.* \ && rm -rf /var/lib/apt/lists/* RUN update-alternatives --install /usr/bin/clang clang /usr/bin/clang-7 1000