From eb0ea784fd71fc341099ffdc2b7ba3fa3fb02ccf Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Thu, 23 Feb 2023 22:20:09 -0500 Subject: [PATCH] Fix debug --- contrib/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile index 79db1b9565..0f9f9342b5 100644 --- a/contrib/docker/Dockerfile +++ b/contrib/docker/Dockerfile @@ -6,7 +6,6 @@ USER root RUN cd /usr/src \ && git clone https://github.com/dealii/dealii \ && cd dealii && mkdir build && cd build \ - && cat share/deal.II/template-arguments \ && cmake -GNinja \ -DCMAKE_PREFIX_PATH="/usr/lib/x86_64-linux-gnu/hdf5/openmpi;/usr/include/hdf5/openmpi" \ -DDEAL_II_ALLOW_AUTODETECTION=OFF \ @@ -44,6 +43,7 @@ RUN cd /usr/src \ -DDEAL_II_WITH_UMFPACK=ON \ -DDEAL_II_WITH_ZLIB=ON \ .. \ + && cat share/deal.II/template-arguments \ && ninja -j 2 install \ && cd ../ && rm -rf .git build -- 2.39.5