+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"
+gunzip $(cat VERSION).tar.gz
+tar xf $(cat VERSION).tar
+cd $(cat VERSION)
+mkdir build
+cd build
+SRCFOLDER=".."