From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 30 Jan 2020 19:56:12 +0000 (+0100)
Subject: jenkins: turn Java and MSG off on non-MC builds
X-Git-Tag: v3.25~41
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/53b22d08843a4252c2abe0e074f8c1e6e34db9ff?hp=e7fd02bb2873388f1cacd8458104c37db9068208

jenkins: turn Java and MSG off on non-MC builds

We should probably disable it all together at some point, but keep
them for now. Since some MC tests are not ported to s4u yet, it will
be MC that keeps MSG for now.
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index b4ae59eeaa..5d7951c3b0 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -200,7 +200,9 @@ cmake -G"$GENERATOR" ${INSTALL:+-DCMAKE_INSTALL_PREFIX=$INSTALL} \
   -Denable_memcheck=$(onoff test "$build_mode" = "DynamicAnalysis") \
   -Denable_compile_warnings=$(onoff test "$GENERATOR" != "MSYS Makefiles") -Denable_smpi=ON \
   -Denable_ns3=$(onoff test "$have_NS3" = "yes" -a "$build_mode" = "Debug") \
-  -Denable_jedule=OFF -Denable_java=ON -Denable_lua=OFF ${MAY_DISABLE_SOURCE_CHANGE} ${MAY_DISABLE_LTO} \
+  -Denable_jedule=OFF -Denable_lua=OFF ${MAY_DISABLE_SOURCE_CHANGE} ${MAY_DISABLE_LTO} \
+  -Denable_java=$(onoff test "$build_mode" = "ModelChecker") \
+  -Denable_MSG=$(onoff test "$build_mode" = "ModelChecker") \
   $SRCFOLDER
 #  -Denable_lua=$(onoff test "$build_mode" != "DynamicAnalysis") \
 set +x