It should be available on every builder, so skip detection phase. Will be added if/when needed
-# Help older cmakes
-if [ -e /usr/lib/jvm/java-7-openjdk-amd64 ] ;
-then
- export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
-fi
-
# usage: die status message...
die () {
status=${1:-1}
# usage: die status message...
die () {
status=${1:-1}
-Denable_java=$(onoff test "$build_mode" = "ModelChecker") \
-Denable_msg=$(onoff test "$build_mode" = "ModelChecker") \
-DLTO_EXTRA_FLAG="auto" \
-Denable_java=$(onoff test "$build_mode" = "ModelChecker") \
-Denable_msg=$(onoff test "$build_mode" = "ModelChecker") \
-DLTO_EXTRA_FLAG="auto" \
+ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \