From: Marion Guthmuller Date: Thu, 13 Jun 2013 10:30:47 +0000 (+0200) Subject: disable optimizations for build MC in jenkins X-Git-Tag: v3_9_90~274^2~2 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2eef51f85212214302326508352271ca96de05eb disable optimizations for build MC in jenkins --- diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh index 5558ac8e9b..fe5a509b1e 100644 --- a/buildtools/jenkins/run.sh +++ b/buildtools/jenkins/run.sh @@ -22,7 +22,7 @@ fi if [ "$build_mode" = "ModelChecker" ] then -cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON . +cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON . fi if [ "$build_mode" = "DynamicAnalysis" ] @@ -47,7 +47,7 @@ fi if [ "$build_mode" = "ModelChecker" ] then -cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON . +cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON . fi if [ "$build_mode" = "DynamicAnalysis" ] diff --git a/buildtools/jenkins/runmingw.sh b/buildtools/jenkins/runmingw.sh index b813165a91..dc901e89f5 100644 --- a/buildtools/jenkins/runmingw.sh +++ b/buildtools/jenkins/runmingw.sh @@ -16,7 +16,7 @@ fi if [ "$build_mode" = "ModelChecker" ] then -cmake -G "MSYS Makefiles" -Denable_model-checking=ON .. +cmake -G "MSYS Makefiles" -Denable_model-checking=ON -Denable_compile_optimizations=OFF .. fi make