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

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