disable optimizations for build MC in jenkins

diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
index 5558ac8..fe5a509 100644 (file)
--- 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 b813165..dc901e8 100644 (file)
--- 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