X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/50ff9b1b8b809bc20c9320310b19f0a294bba055..7a4a0f13a2547b37b1eab2a9ecfc1f95a3426a37:/tools/jenkins/build.sh

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 26adde8a0d..0bad846ad9 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -66,15 +66,8 @@ case "$build_mode" in
   ;;
 esac
 
-if test "$(uname)" = "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
+NUMBER_OF_PROCESSORS="$(nproc)" || NUMBER_OF_PROCESSORS=1
+GENERATOR="Unix Makefiles"
 
 ulimit -c 0 || true
 
@@ -98,28 +91,24 @@ echo "XX have_NS3: ${have_NS3}"
 # This is for Windows:
 PATH="$WORKSPACE/build/lib:$PATH"
 
-if test "$(uname)" != "Msys"; then
-  echo "XX"
-  echo "XX Build the archive out of the tree"
-  echo "XX   pwd: "$(pwd)
-  echo "XX"
+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
+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 $(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
+cd ${SIMGRID_VERSION}
+mkdir build
+cd build
+SRCFOLDER="${WORKSPACE}/build/${SIMGRID_VERSION}"
 
 echo "XX"
 echo "XX Configure and build SimGrid"
@@ -148,11 +137,6 @@ set +x
 
 make -j$NUMBER_OF_PROCESSORS VERBOSE=1
 
-if test "$(uname)" != "Msys"; then
-  cd $WORKSPACE/build
-  cd $(cat VERSION)/build
-fi
-
 echo "XX"
 echo "XX Run the tests"
 echo "XX   pwd: "$(pwd)