+if test "$(uname -o)" = "Msys"; then
+ if [ -z "$NUMBER_OF_PROCESSORS" ]; then
+ NUMBER_OF_PROCESSORS=1
+ fi
+ GENERATOR="MSYS Makefiles"
+else
+ NUMBER_OF_PROCESSORS="$(nproc)" || NUMBER_OF_PROCESSORS=1
+ GENERATOR="Unix Makefiles"
+fi
+
+ulimit -c 0 || true
+
+if test "$(uname -o)" != "Msys"; then
+ echo "XX"
+ echo "XX Get out of the tree"
+ echo "XX"
+ if [ -d $WORKSPACE/build ]
+ then
+ rm -rf $WORKSPACE/build
+ fi
+ mkdir $WORKSPACE/build
+ cd $WORKSPACE/build
+
+ echo "XX"
+ echo "XX Build the archive out of the tree"
+ echo "XX pwd: `pwd`"
+ echo "XX"
+
+ cmake -G"$GENERATOR" -Denable_documentation=OFF $WORKSPACE
+ make dist -j$NUMBER_OF_PROCESSORS
+
+ echo "XX"
+ echo "XX Open the resulting archive"
+ echo "XX"
+ tar xzf `cat VERSION`.tar.gz
+ cd `cat VERSION`
+fi
+
+echo "XX"
+echo "XX Configure and build SimGrid"
+echo "XX pwd: `pwd`"
+echo "XX"
+cmake -G"$GENERATOR"\
+ -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \