From: Daniel Arndt Date: Fri, 24 Feb 2023 01:30:37 +0000 (-0500) Subject: debug output X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=87c0b823a7661d28939650cf1f6dda5fd11a5a31;p=dealii.git debug output --- diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile index 9ba8fca5c5..79db1b9565 100644 --- a/contrib/docker/Dockerfile +++ b/contrib/docker/Dockerfile @@ -6,6 +6,7 @@ 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 \