From: Luca Heltai <luca.heltai@sissa.it>
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
-