]> https://gitweb.dealii.org/ - dealii.git/commitdiff
More dbug output
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 24 Feb 2023 03:54:37 +0000 (22:54 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Fri, 24 Feb 2023 03:54:37 +0000 (22:54 -0500)
contrib/docker/Dockerfile

index 0f9f9342b5a78536ce2ebfa4099513fbe9864f56..47abe1d7fee52995b6c44df2209e12d4840f5ec2 100644 (file)
@@ -44,6 +44,7 @@ RUN cd /usr/src \
     -DDEAL_II_WITH_ZLIB=ON \
     .. \
     && cat share/deal.II/template-arguments \
+    && cat ../include/deal.II/numerics/vector_tools_mean_value.templates.h \
     && ninja -j 2 install \
     && cd ../ && rm -rf .git build
 

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.