Commit e16f6101 authored by Steffen Müthing's avatar Steffen Müthing

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

parent f1e182ac
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