-if [ "$build_mode" = "ModelChecker" ] ; then
- INSTALL="-DCMAKE_INSTALL_PREFIX=/builds/mc_simgrid_install"
-elif [ "$build_mode" = "Debug" ] ; then
- INSTALL="-DCMAKE_INSTALL_PREFIX=/builds/simgrid_install"
+
+if cmake --version | grep -q 3\.11 ; then
+ # -DCMAKE_DISABLE_SOURCE_CHANGES=ON is broken with java on CMake 3.11
+ # https://gitlab.kitware.com/cmake/cmake/issues/17933
+ MAY_DISABLE_SOURCE_CHANGE=""
+else
+ MAY_DISABLE_SOURCE_CHANGE="-DCMAKE_DISABLE_SOURCE_CHANGES=ON"