Commit 6949cf76 authored by Ansgar Burchardt's avatar Ansgar Burchardt

dune-git: Use `duneci-install-module`

parent 63190302
......@@ -11,13 +11,11 @@ RUN apt-get update && apt-get install --no-install-recommends --yes \
&& apt-get clean && rm -rf /var/lib/apt/lists/*
USER duneci
WORKDIR /duneci/modules
RUN git clone https://gitlab.dune-project.org/core/dune-common.git
RUN git clone https://gitlab.dune-project.org/core/dune-geometry.git
RUN git clone https://gitlab.dune-project.org/core/dune-grid.git
RUN git clone https://gitlab.dune-project.org/core/dune-istl.git
RUN git clone https://gitlab.dune-project.org/core/dune-localfunctions.git
RUN ./dune-common/bin/dunecontrol all
RUN duneci-install-module https://gitlab.dune-project.org/core/dune-common.git \
&& duneci-install-module https://gitlab.dune-project.org/core/dune-geometry.git \
&& duneci-install-module https://gitlab.dune-project.org/core/dune-grid.git \
&& duneci-install-module https://gitlab.dune-project.org/core/dune-istl.git \
&& duneci-install-module https://gitlab.dune-project.org/core/dune-localfunctions.git
USER root
WORKDIR /
......
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