Make sure we keep around the sources, to allow debugging.

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index f0244564bf1e0b56a45f4272e14dceb483f5bd87..7818713597cd72e17c4292e6e3f34ba079c1a0b8 100644 (file)
--- 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
-