dune-env-update.dockerfile 576 Bytes
Newer Older
1 2
ARG DUNE_ENV_IMAGE=dorie/dune-env
FROM $DUNE_ENV_IMAGE
3 4 5
LABEL maintainer="lriedel@iup.uni-heidelberg.de"
# number of cores for parallel builds
ARG PROCNUM=1
6 7 8
# Compilers to be used
ARG CC=gcc
ARG CXX=g++
9

10
RUN apt-get clean && apt-get update && apt-get upgrade -y && apt-get clean
11 12 13
WORKDIR /opt/dune
RUN ./dune-common/bin/dunecontrol update
RUN MAKE_FLAGS="-j ${PROCNUM}" \
14
    CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=${CC} -DCMAKE_CXX_COMPILER=${CXX} -DDUNE_PYTHON_VIRTUALENV_SETUP=True -DDUNE_PYTHON_ALLOW_GET_PIP=True" \
15
    ./dune-common/bin/dunecontrol all