fi
cd ./pipol/$PIPOL_HOST
-git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+export GIT_SSL_NO_VERIFY=1
+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
export CXX=g++
fi
-#supernovae
-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
+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`