Update script for build default conf into build-def directory

[simgrid.git] / buildtools / pipol / Experimental_bindings.sh

diff --git a/buildtools/pipol/Experimental_bindings.sh b/buildtools/pipol/Experimental_bindings.sh
index 33f9256..7bbd9e2 100755 (executable)
--- a/buildtools/pipol/Experimental_bindings.sh
+++ b/buildtools/pipol/Experimental_bindings.sh
@@ -13,6 +13,7 @@ cd ./pipol/$PIPOL_HOST
 export GIT_SSL_NO_VERIFY=1
 git clone https://gforge.inria.fr/git/simgrid/simgrid.git
 cd simgrid
+#git checkout v3_7_x
 
 perl ./buildtools/pipol/cmake.pl
 perl ./buildtools/pipol/ruby.pl
@@ -25,12 +26,34 @@ export CC=gcc
 export CXX=g++
 fi
 
+mkdir build-def
+cd build-def
+
 #DEFAULT CONF
-cmake .
+cmake ..
+ctest -D ExperimentalStart
+ctest -D ExperimentalConfigure
+ctest -D ExperimentalBuild
+ctest -D ExperimentalTest
+ctest -D ExperimentalSubmit
+cd ../
+rm -rf ./build-def
+
+# really clean the working directory
+git reset --hard master
+git clean -dfx
+
+#MC
+cmake \
+-Denable_coverage=on \
+-Denable_model-checking=on \
+-Denable_lua=on \
+-Denable_compile_optimizations=off .
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
+ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 
 export SIMGRID_ROOT=`pwd`