dune-env-update.dockerfile 739 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 12 13 14 15 16 17 18
# NOTE: "localedef" is required in case "locale" package is updated
RUN apt-get clean \
    && apt-get update \
    && apt-get upgrade -y \
    && apt-get clean \
    && rm -rf /var/lib/apt/lists/* \
    && localedef -i en_US -c -f UTF-8 -A /usr/share/locale/locale.alias en_US.UTF-8
ENV LANG en_US.utf8
19 20

# Update and build DUNE modules
21
WORKDIR /opt/dune
22
COPY build.opts ./
23 24
RUN ./dune-common/bin/dunecontrol update
RUN MAKE_FLAGS="-j ${PROCNUM}" \
25
    ./dune-common/bin/dunecontrol --opts=build.opts all