Commit c88a27a3 authored by Lukas Riedel's avatar Lukas Riedel 📝

Specify dune-env:2.6 as base image for dorie Docker image

parent 0af15965
ARG DUNE_ENV_IMAGE=dorie/dune-env
ARG DUNE_ENV_IMAGE=dorie/dune-env:2.6
FROM $DUNE_ENV_IMAGE
LABEL maintainer="lriedel@iup.uni-heidelberg.de"
# number of cores for parallel builds
......@@ -20,4 +20,4 @@ RUN CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=${CC} -DCMAKE_CXX
WORKDIR /mnt
# run bash in the virtualenv (this actually creates two bash instances...)
ENTRYPOINT ["/opt/dune/dune-common/build-cmake/run-in-dune-env", "/bin/bash"]
\ No newline at end of file
ENTRYPOINT ["/opt/dune/dune-common/build-cmake/run-in-dune-env", "/bin/bash"]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment