Start by cloning all repos such that the password is only needed in the beginning

build_scripts/build_storm.sh

@@ -47,8 +47,35 @@ 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"
 
-# Z3
-echo "# Building Z3."
+
+# Cloning Carl
+echo "# Cloning Carl."
+cd $DIR
+if [ ! -d carl ]; then
+	# Use correct git repo
+	if [ -z "$USER" ]; then
+		git clone https://github.com/smtrat/carl.git -b master14
+	else
+		git clone https://$USER@srv-i2.informatik.rwth-aachen.de/scm/git/carl.git -b master14
+	fi
+fi
+
+
+# Cloning Storm
+echo "# Cloning Storm."
+cd $DIR
+if [ ! -d storm ]; then
+	# Use correct git repo
+	if [ -z "$USER" ]; then
+		git clone https://github.com/moves-rwth/storm.git -b $BRANCH
+	else
+		git clone https://$USER@srv-i2.informatik.rwth-aachen.de/scm/git/storm.git -b $BRANCH
+	fi
+fi
+
+
+# Cloning and building Z3
+echo "# Cloning Z3."
 cd $DIR
 if [ ! -d z3_src ]; then
 	git clone https://github.com/Z3Prover/z3.git z3_src
@@ -58,6 +85,7 @@ if [ ! -d z3_src ]; then
 	echo "# Using Z3 tag $latestTag"
 	git checkout $latestTag
 fi
+echo "# Building Z3."
 cd $DIR
 if [ ! -d z3 ]; then
 	cd z3_src
@@ -71,16 +99,7 @@ echo "# Building Z3 finished."
 
 # Carl
 echo "# Building Carl."
-cd $DIR
-if [ ! -d carl ]; then
-	# Use correct git repo
-	if [ -z "$USER" ]; then
-		git clone https://github.com/smtrat/carl.git -b master14
-	else
-		git clone https://$USER@srv-i2.informatik.rwth-aachen.de/scm/git/carl.git -b master14
-	fi
-fi
-cd carl
+cd $DIR/carl
 mkdir -p build
 cd build
 echo "$BOOST_ROOT"
@@ -95,17 +114,8 @@ echo "# Building Carl finished."
 
 
 # Storm
-cd $DIR
 echo "# Building Storm."
-if [ ! -d storm ]; then
-	# Use correct git repo
-	if [ -z "$USER" ]; then
-		git clone https://github.com/moves-rwth/storm.git -b $BRANCH
-	else
-		git clone https://$USER@srv-i2.informatik.rwth-aachen.de/scm/git/storm.git -b $BRANCH
-	fi
-fi
-cd storm
+cd $DIR/storm
 mkdir -p build
 cd build
 if [ ! -f CMakeCache.txt ]; then