From: Timo Heister Date: Mon, 3 Jul 2023 17:29:19 +0000 (-0400) Subject: enable taskflow X-Git-Tag: relicensing~715^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=40ab395b21d3cae7d85503e26b32b22b2596ed19;p=dealii.git enable taskflow --- diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi index 15751e98c9..e3739e19e7 100644 --- 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 428194b51b..101776a32e 100644 --- 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 1b10c8e32f..d7dd95ec91 100644 --- 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