dune-env-update.dockerfile 629 Bytes
Newer Older
Lukas Riedel's avatar
Lukas Riedel committed
1 2
ARG BASE_IMG_VERSION=1.3
ARG DUNE_ENV_IMAGE=dorie/dune-env:img-v${BASE_IMG_VERSION}
3
FROM $DUNE_ENV_IMAGE
Lukas Riedel's avatar
Lukas Riedel committed
4

5
LABEL maintainer="lriedel@iup.uni-heidelberg.de"
Lukas Riedel's avatar
Lukas Riedel committed
6

7 8
# number of cores for parallel builds
ARG PROCNUM=1
9 10 11
# Compilers to be used
ARG CC=gcc
ARG CXX=g++
12

13
RUN apt-get clean && apt-get update && apt-get upgrade -y && apt-get clean
14 15 16
WORKDIR /opt/dune
RUN ./dune-common/bin/dunecontrol update
RUN MAKE_FLAGS="-j ${PROCNUM}" \
17
    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" \
Lukas Riedel's avatar
Lukas Riedel committed
18
    ./dune-common/bin/dunecontrol all