Also set DUNE_CONTROL_PATH in base images.

parent bed704f9
......@@ -31,4 +31,5 @@ RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci
RUN mkdir -p /duneci/modules
ENV DUNE_CONTROL_PATH=.:/duneci/modules
COPY opts.clang opts.gcc /duneci/
......@@ -31,4 +31,5 @@ RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci
RUN mkdir -p /duneci/modules
ENV DUNE_CONTROL_PATH=.:/duneci/modules
COPY opts.clang opts.gcc /duneci/
......@@ -11,4 +11,3 @@ RUN git clone https://gitlab.dune-project.org/pdelab/dune-typetree.git
RUN dunecontrol all
WORKDIR /duneci
ENV DUNE_CONTROL_PATH=.:/duneci/modules
......@@ -16,4 +16,3 @@ RUN git clone -b releases/2.4 https://gitlab.dune-project.org/pdelab/dune-typetr
RUN dunecontrol all
WORKDIR /duneci
ENV DUNE_CONTROL_PATH=.:/duneci/modules
......@@ -25,4 +25,3 @@ RUN ln -s /duneci/modules/dune-common/bin/dunecontrol /usr/local/bin/
USER duneci
WORKDIR /duneci
ENV DUNE_CONTROL_PATH=.:/duneci/modules
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