model-checker : remove local variable only if frame name is known

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

diff --git a/buildtools/pipol/Experimental_bindings.sh b/buildtools/pipol/Experimental_bindings.sh
index 41785b7..c88899f 100755 (executable)
--- a/buildtools/pipol/Experimental_bindings.sh
+++ b/buildtools/pipol/Experimental_bindings.sh
@@ -11,8 +11,9 @@ fi
 cd ./pipol/$PIPOL_HOST
 
 export GIT_SSL_NO_VERIFY=1
-git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+git clone git://scm.gforge.inria.fr/simgrid/simgrid.git
 cd simgrid
+#git checkout v3_7_x
 
 perl ./buildtools/pipol/cmake.pl
 perl ./buildtools/pipol/ruby.pl
@@ -25,30 +26,40 @@ export CC=gcc
 export CXX=g++
 fi
 
-cmake -Drelease=on .
+mkdir build-def
+cd build-def
+
+#DEFAULT CONF
+cmake ..
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
 ctest -D ExperimentalSubmit
-
-export SIMGRID_ROOT=`pwd`
-export LD_LIBRARY_PATH=`pwd`/lib
-export DYLD_LIBRARY_PATH=`pwd`/lib #for mac
-
 cd ../
-git clone git://scm.gforge.inria.fr/simgrid/simgrid-java.git simgrid-java --quiet
-cd simgrid-java
-export DYLD_LIBRARY_PATH=$DYLD_LIBRARY_PATH:`pwd`/lib
-export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:`pwd`/lib #for mac
+rm -rf ./build-def
 
-cmake .
+# 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`
+export LD_LIBRARY_PATH=`pwd`/lib
+export DYLD_LIBRARY_PATH=`pwd`/lib #for mac
+
 cd ../
 git clone git://scm.gforge.inria.fr/simgrid/simgrid-ruby.git simgrid-ruby --quiet
 cd simgrid-ruby
@@ -58,4 +69,4 @@ ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalSubmit
\ No newline at end of file
+ctest -D ExperimentalSubmit