- 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=".."
-else
-#for windows we don't make dist, but we still want to build out of source
- SRCFOLDER=$WORKSPACE
-fi
+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}"