]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 607fc25)
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 patch | blob | history

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 0f9f9342b5a78536ce2ebfa4099513fbe9864f56..47abe1d7fee52995b6c44df2209e12d4840f5ec2 100644 (file)
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -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
 
Mirror of the development repository for deal.II

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.