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

7
RUN apt-get clean && apt-get update && apt-get upgrade -y && apt-get clean
8 9 10 11 12
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