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

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

8 9 10
# number of cores for parallel builds
ARG PROCNUM=1

11
# Upgrade Ubuntu packages
12 13 14 15 16 17 18 19
# 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
20 21

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