enable taskflow

diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi
index 15751e98c9c12934871f08746e1dda723c3756e5..e3739e19e75e454c4c9a9cde206a77469722b8c4 100644 (file)
--- a/contrib/ci/Jenkinsfile.mpi
+++ b/contrib/ci/Jenkinsfile.mpi
@@ -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

diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index 428194b51ba6252f6df4b4bcbe49341f41e90ae4..101776a32e5cf2a7618ef3838654951bc715997a 100644 (file)
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -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 \

diff --git a/contrib/ci/Jenkinsfile.serial b/contrib/ci/Jenkinsfile.serial
index 1b10c8e32f16e958df01d7fe8cf97745c94e4955..d7dd95ec918cf5c570cb8fe163c1493750da17f2 100644 (file)
--- a/contrib/ci/Jenkinsfile.serial
+++ b/contrib/ci/Jenkinsfile.serial
@@ -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