From: Augustin Degomme <26892-adegomme@users.noreply.framagit.org>
Date: Sat, 30 Jul 2022 14:29:05 +0000 (+0000)
Subject: use ccache for main ci build.
X-Git-Tag: v3.32~126
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4bfa73e009e00c06c554a8935f2cb06e38614813

use ccache for main ci build.
It should be available on every builder, so skip detection phase. Will be added if/when needed
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 6ad94b0fa7..36c17be64b 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -22,12 +22,6 @@ echo "XXXX Let's go"
 
 set -e
 
-# 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}
@@ -231,6 +225,7 @@ cmake -G"$GENERATOR" ${INSTALL:+-DCMAKE_INSTALL_PREFIX=$INSTALL} \
   -Denable_java=$(onoff test "$build_mode" = "ModelChecker") \
   -Denable_msg=$(onoff test "$build_mode" = "ModelChecker") \
   -DLTO_EXTRA_FLAG="auto" \
+  -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
   "$SRCFOLDER"
 set +x