+ if [ "$build_mode" = "DynamicAnalysis" ]
+ then
+ cmake -G "MSYS Makefiles" -Denable_lua=OFF -Denable_java=ON -Denable_tracing=ON -Denable_smpi=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON -Denable_lib_static=OFF -Denable_model-checking=OFF -Denable_latency_bound_tracking=OFF -Denable_gtnets=OFF -Denable_jedule=OFF -Denable_mallocators=OFF -Denable_memcheck=ON .
+ fi
+
+ if [ $? -ne 0 ] ; then
+ echo "Failed to perform the Cmake for $build_mode - Halting"
+ exit 5
+ fi
+
+ make
+
+ if [ $? -ne 0 ] ; then
+ echo "Build failure - Halting"
+ exit 5
+ fi
+
+ make nsis
+
+ if [ $? -ne 0 ] ; then
+ echo "Failure while generating the Windows executable - Halting"
+ exit 6
+ fi
+
+else
+ cmake $WORKSPACE
+
+ if [ $? -ne 0 ] ; then
+ echo "Failed to do the first cmake - Halting"
+ exit 1
+ fi
+
+ rm Simgrid*.tar.gz
+ make dist
+
+ if [ $? -ne 0 ] ; then
+ echo "Failed to build dist - Halting"
+ exit 2
+ fi
+
+ tar xzf `cat VERSION`.tar.gz
+
+ if [ $? -ne 0 ] ; then
+ echo "Failed to extract the generated tgz - Halting"
+ exit 3
+ fi
+
+ cd `cat VERSION`
+
+ if [ $? -ne 0 ] ; then
+ echo "Path `cat VERSION` cannot be found - Halting"
+ exit 4
+ fi
+
+ if [ "$build_mode" = "Debug" ]
+ then
+ cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
+ fi
+
+ if [ "$build_mode" = "ModelChecker" ]
+ then
+ cmake -Denable_coverage=ON -Denable_java=ON -Denable_smpi=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
+ fi
+
+ if [ "$build_mode" = "DynamicAnalysis" ]
+ then
+ cmake -Denable_lua=OFF -Denable_java=ON -Denable_tracing=ON -Denable_smpi=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON -Denable_lib_static=OFF -Denable_model-checking=OFF -Denable_latency_bound_tracking=OFF -Denable_gtnets=OFF -Denable_jedule=OFF -Denable_mallocators=OFF -Denable_memcheck=ON .
+ fi
+
+ if [ $? -ne 0 ] ; then
+ echo "Failed to perform the Cmake for $build_mode - Halting"
+ exit 5
+ fi
+
+ make
+
+ if [ $? -ne 0 ] ; then
+ echo "Build failure - Halting"
+ exit 6
+ fi