From a01a82324b7595d72c4d44fc5e6e44a70f68d7e0 Mon Sep 17 00:00:00 2001 From: Matthias Volk <matthias.volk@cs.rwth-aachen.de> Date: Tue, 16 Jul 2019 11:37:59 +0200 Subject: [PATCH] Activate thread safety in storm build script --- build_scripts/build_storm.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build_scripts/build_storm.sh b/build_scripts/build_storm.sh index c2e04e9..6b6136f 100755 --- a/build_scripts/build_storm.sh +++ b/build_scripts/build_storm.sh @@ -47,6 +47,8 @@ TBB_PREFIX=$(tr ':' '\n' <<< "$LD_LIBRARY_PATH" | grep $TBBROOT | tr '\n' ';') TBB_PREFIX="$TBB_PREFIX$TBBROOT" # we need no ; separator here because the tr command already added a trailing semicolon echo "# TBB Prefix: $TBB_PREFIX" +# Cloning all required repos +# We only need to ask for the passwords in the beginning and the remaining build process then works without interaction # Cloning Carl echo "# Cloning Carl." @@ -107,7 +109,8 @@ if [ ! -f CMakeCache.txt ]; then # Carl CMake configure command cmake .. -DCMAKE_BUILD_TYPE=RELEASE \ -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON \ - -DBOOST_ROOT="$BOOST_ROOT" + -DBOOST_ROOT="$BOOST_ROOT" \ + -DTHREAD_SAFE=ON fi make lib_carl -j$CORES echo "# Building Carl finished." -- GitLab