dune-env-update.dockerfile 510 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 9
# number of cores for parallel builds
ARG PROCNUM=1

10
# Upgrade Ubuntu packages
11
RUN apt-get clean && apt-get update && apt-get upgrade -y && apt-get clean
12 13

# Update and build DUNE modules
14
WORKDIR /opt/dune
15
COPY build.opts ./
16 17
RUN ./dune-common/bin/dunecontrol update
RUN MAKE_FLAGS="-j ${PROCNUM}" \
18
    ./dune-common/bin/dunecontrol --opts=build.opts all