From: Martin Quinson Date: Fri, 31 Mar 2023 13:58:32 +0000 (+0200) Subject: Gitlab CI: Use clang on modelchecker builds, for MRs X-Git-Tag: v3.34~244 X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/723df134730d6b4be751fe658b9a197e78dcf479 Gitlab CI: Use clang on modelchecker builds, for MRs --- diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 53a6261531..de0ac25058 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -30,8 +30,8 @@ ctest-modelchecking: - stable script: - apt-get --allow-releaseinfo-change update - - apt install -y binutils xsltproc - - cmake -Denable_model-checking=ON -Denable_documentation=OFF -Denable_coverage=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON -DLTO_EXTRA_FLAG="auto" . + - apt install -y binutils xsltproc clang + - cmake -Denable_model-checking=ON -Denable_documentation=OFF -Denable_coverage=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON -DLTO_EXTRA_FLAG="auto" -DCC=/usr/bin/clang -DCXX=/usr/bin/clang++ . - make -j$(nproc) VERBOSE=1 all tests - ctest -T Test -j$(nproc) --output-on-failure - xsltproc ./tools/jenkins/ctest2junit.xsl Testing/"$( head -n 1 < Testing/TAG )"/Test.xml > CTestResults.xml