From 89c86f2132d08f1b944a7540865cad36e08fc5ad Mon Sep 17 00:00:00 2001 From: Luca Heltai Date: Thu, 27 Aug 2020 09:41:02 +0200 Subject: [PATCH] Make sure we keep around the sources, to allow debugging. --- contrib/docker/Dockerfile | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 - -- 2.39.5