]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Make sure we keep around the sources, to allow debugging.
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 27 Aug 2020 07:41:02 +0000 (09:41 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Thu, 27 Aug 2020 07:41:02 +0000 (09:41 +0200)
contrib/docker/Dockerfile

index f0244564bf1e0b56a45f4272e14dceb483f5bd87..7818713597cd72e17c4292e6e3f34ba079c1a0b8 100644 (file)
@@ -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
-

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.