dune-env-update.dockerfile 448 Bytes
Newer Older
1
FROM dorie/dune-env:2.5.1
2 3 4 5
LABEL maintainer="lriedel@iup.uni-heidelberg.de"
# number of cores for parallel builds
ARG PROCNUM=1

6
RUN apt-get clean && apt-get update && apt-get upgrade -y && apt-get clean
7 8 9 10 11
WORKDIR /opt/dune
RUN ./dune-common/bin/dunecontrol update
RUN MAKE_FLAGS="-j ${PROCNUM}" \
    CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Release -DDUNE_PYTHON_VIRTUALENV_SETUP=True -DDUNE_PYTHON_ALLOW_GET_PIP=True" \
    ./dune-common/bin/dunecontrol all