From 40ab395b21d3cae7d85503e26b32b22b2596ed19 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Mon, 3 Jul 2023 13:29:19 -0400 Subject: [PATCH] enable taskflow --- contrib/ci/Jenkinsfile.mpi | 1 + contrib/ci/Jenkinsfile.osx | 1 + contrib/ci/Jenkinsfile.serial | 1 + 3 files changed, 3 insertions(+) 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 -- 2.39.5