diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6d97e4e9697a4e368ee4d1f6d451878d9c3c4146..a6459a46535a391fc198d2fc7d41658461486215 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -98,21 +98,21 @@ dune:2.5: dune:git: stage: stage2 script: - - ./bin/duneci-build-docker-image --no-cache duneci/dune:git dune-git + - ./bin/duneci-build-docker-image --parallel --no-cache duneci/dune:git dune-git only: - master@ansgar/dune-docker dune-fufem:2.4: stage: stage3 script: - - ./bin/duneci-build-docker-image duneci/dune-fufem:2.4 dune-fufem + - ./bin/duneci-build-docker-image --parallel duneci/dune-fufem:2.4 dune-fufem only: - master@ansgar/dune-docker dune-fufem:git: stage: stage3 script: - - ./bin/duneci-build-docker-image --no-cache duneci/dune-fufem:git dune-fufem-git + - ./bin/duneci-build-docker-image --parallel --no-cache duneci/dune-fufem:git dune-fufem-git only: - master@ansgar/dune-docker diff --git a/bin/duneci-build-docker-image b/bin/duneci-build-docker-image index e8286b57c1388ebb922d91eee353f1c1388a3e20..5d28659323158cb8b408071d24f02038e7ee29a8 100755 --- a/bin/duneci-build-docker-image +++ b/bin/duneci-build-docker-image @@ -27,8 +27,14 @@ if [[ $# -lt 2 ]]; then usage fi +parallel= + while :; do case "${1}" in + --parallel) + parallel=1 + shift + ;; -*) docker_opts+=("${1}") shift @@ -41,6 +47,10 @@ done image="${1}"; shift +if [[ -n "${parallel}" -a -v DUNECI_PARALLEL ]]; then + docker_opts+=(--build-arg=DUNECI_PARALLEL="${DUNECI_PARALLEL}") +fi + builddir="build/${image##*/}" if [[ -e ${builddir} ]]; then echo "E: ${builddir} already exists" >&2 diff --git a/dune-fufem-git/Dockerfile b/dune-fufem-git/Dockerfile index 462be832b336f48359390248e010fc0dfa4a7b6d..d540c6751c9a057989b91a9e6802dc931f34c20f 100644 --- a/dune-fufem-git/Dockerfile +++ b/dune-fufem-git/Dockerfile @@ -1,4 +1,5 @@ FROM duneci/dune:git +ARG DUNECI_PARALLEL USER duneci WORKDIR /duneci/modules diff --git a/dune-fufem/Dockerfile b/dune-fufem/Dockerfile index 4600e392326db417a8b31ed50ec6eb9888d0a7c1..3c3aa40be97c32aae727eb3247db2ce49356a46f 100644 --- a/dune-fufem/Dockerfile +++ b/dune-fufem/Dockerfile @@ -1,4 +1,5 @@ FROM duneci/dune:2.4 +ARG DUNECI_PARALLEL USER root WORKDIR / diff --git a/dune-git/Dockerfile b/dune-git/Dockerfile index a2c5dc33d81e8106142784959447691efa0faf1a..b76e0f701cbe06f0267e426c280c6e217c228df2 100644 --- a/dune-git/Dockerfile +++ b/dune-git/Dockerfile @@ -1,4 +1,5 @@ FROM duneci/base:9 +ARG DUNECI_PARALLEL USER duneci RUN duneci-install-module https://gitlab.dune-project.org/core/dune-common.git \