+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
+SIMGRID_VERSION=$(cat VERSION)
+
+echo "XX"
+echo "XX Open the resulting archive"
+echo "XX"
+gunzip ${SIMGRID_VERSION}.tar.gz
+tar xf ${SIMGRID_VERSION}.tar
+mkdir ${WORKSPACE}/build/${SIMGRID_VERSION}/build
+cd ${WORKSPACE}/build/${SIMGRID_VERSION}/build
+SRCFOLDER="${WORKSPACE}/build/${SIMGRID_VERSION}"