]> https://gitweb.dealii.org/ - dealii.git/commitdiff
enable taskflow
authorTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2023 17:29:19 +0000 (13:29 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2023 17:29:19 +0000 (13:29 -0400)
contrib/ci/Jenkinsfile.mpi
contrib/ci/Jenkinsfile.osx
contrib/ci/Jenkinsfile.serial

index 15751e98c9c12934871f08746e1dda723c3756e5..e3739e19e75e454c4c9a9cde206a77469722b8c4 100644 (file)
@@ -104,6 +104,7 @@ pipeline
                     -D DEAL_II_EARLY_DEPRECATIONS=ON \
                     -D CMAKE_BUILD_TYPE=Debug \
                     -D DEAL_II_WITH_MPI=ON \
+                    -D DEAL_II_WITH_TASKFLOW=ON \
                     -D DEAL_II_UNITY_BUILD=OFF \
                     $WORKSPACE/
                   time ninja -j 10 # 12 gives OOM
index 428194b51ba6252f6df4b4bcbe49341f41e90ae4..101776a32e5cf2a7618ef3838654951bc715997a 100644 (file)
@@ -99,6 +99,7 @@ pipeline
                     mkdir build && cd build
                     cmake \
                       -D DEAL_II_WITH_MPI=OFF \
+                      -D DEAL_II_WITH_TASKFLOW=ON \
                       -D DEAL_II_CXX_FLAGS='-Werror' \
                       -D DEAL_II_EARLY_DEPRECATIONS=ON \
                       -D CMAKE_BUILD_TYPE=Debug \
index 1b10c8e32f16e958df01d7fe8cf97745c94e4955..d7dd95ec918cf5c570cb8fe163c1493750da17f2 100644 (file)
@@ -105,6 +105,7 @@ pipeline
                     -D DEAL_II_EARLY_DEPRECATIONS=ON \
                     -D CMAKE_BUILD_TYPE=Debug \
                     -D DEAL_II_WITH_MPI=OFF \
+                    -D DEAL_II_WITH_TASKFLOW=ON \
                     -D DEAL_II_UNITY_BUILD=ON \
                     $WORKSPACE/
                   time ninja -j 10 # 12 gives OOM

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.