Activate thread safety in storm build script

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."