Commit 7d45925d authored by Steffen Müthing's avatar Steffen Müthing

[!20] Switch to patched versions of dune-alugrid until extensions/dune-alugrid!49 is merged

The upstream version of dune-alugrid currently wrecks clang 6. I've pushed a possible fix in
extensions/dune-alugrid!49, but until that is merged, switch to a fork which contains that fix.

See merge request docker/ci!20
parents f1e182ac e16f6101
Pipeline #10882 passed with stages
in 40 minutes and 52 seconds
ARG BASE_IMAGE
FROM ${BASE_IMAGE}
ARG BASE_IMAGE
ARG DUNECI_PARALLEL
USER duneci
RUN /bin/bash -c "if [[ ! ${BASE_IMAGE} =~ :.*clang-6 ]] ; then duneci-install-module -b releases/2.6 https://gitlab.dune-project.org/extensions/dune-alugrid.git ; fi"
# TODO: Remove this as soon as extensions/dune-alugrid!49 is merged and backported
RUN duneci-install-module -b releases/2.6-patched-mr-49 https://gitlab.dune-project.org/smuething/dune-alugrid.git
......@@ -4,4 +4,5 @@ ARG BASE_IMAGE
ARG DUNECI_PARALLEL
USER duneci
RUN /bin/bash -c "if [[ ! ${BASE_IMAGE} =~ :.*clang-6 ]] ; then duneci-install-module -b master https://gitlab.dune-project.org/extensions/dune-alugrid.git ; fi"
# TODO: Remove this as soon as extensions/dune-alugrid!49 is merged
RUN duneci-install-module -b master-patched-mr-49 https://gitlab.dune-project.org/smuething/dune-alugrid.git
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment