From: Luca Heltai Date: Thu, 27 Aug 2020 07:41:02 +0000 (+0200) Subject: Make sure we keep around the sources, to allow debugging. X-Git-Tag: v9.3.0-rc1~1166^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89c86f2132d08f1b944a7540865cad36e08fc5ad;p=dealii.git Make sure we keep around the sources, to allow debugging. --- diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile index f0244564bf..7818713597 100644 --- a/contrib/docker/Dockerfile +++ b/contrib/docker/Dockerfile @@ -3,18 +3,17 @@ FROM dealii/dependencies:focal LABEL maintainer="luca.heltai@gmail.com" USER root -RUN git clone https://github.com/dealii/dealii \ +RUN cd /usr/src \ + && git clone https://github.com/dealii/dealii \ && cd dealii && mkdir build && cd build \ && cmake -GNinja \ -DCMAKE_PREFIX_PATH="/usr/lib/x86_64-linux-gnu/hdf5/openmpi;/usr/include/hdf5/openmpi" \ -DDEAL_II_WITH_MPI=ON \ -DDEAL_II_WITH_SIMPLEX_SUPPORT=ON \ - -DCMAKE_INSTALL_PREFIX=/usr \ -DDEAL_II_COMPILE_EXAMPLES=OFF \ .. \ && ninja install \ - && cd ../../ && rm -rf dealii + && cd ../ && rm -rf .git build USER $USER WORKDIR $HOME -