X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8af3cb11bfe73e4813ebeed796e74445b5b2207d..704a4e40059072862812816366aa40b5dec2873a:/buildtools/pipol/Experimental.sh?ds=sidebyside

diff --git a/buildtools/pipol/Experimental.sh b/buildtools/pipol/Experimental.sh
index 1391e980d3..9f7ae941d5 100644
--- a/buildtools/pipol/Experimental.sh
+++ b/buildtools/pipol/Experimental.sh
@@ -13,11 +13,12 @@ cd ./pipol/$PIPOL_HOST
 svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk --quiet
 cd simgrid-trunk
 
-sh ./simgrid-trunk/buildtools/pipol/liste_install.sh
+sh ./buildtools/pipol/liste_install.sh
 sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
-
-perl ./simgrid-trunk/buildtools/pipol/cmake.pl
-perl ./simgrid-trunk/buildtools/pipol/ruby.pl
+SIMGRID_ROOT=`pwd`
+export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SIMGRID_ROOT/gtnets_install/lib
+perl ./buildtools/pipol/cmake.pl
+perl ./buildtools/pipol/ruby.pl
 
 rm CMakeCache.txt
 
@@ -42,12 +43,17 @@ ctest -D ExperimentalTest
 ctest -D ExperimentalSubmit
 make clean
 
-#gtnets
+#MC
 cmake \
 -Denable_latency_bound_tracking=on \
 -Denable_gtnets=on \
 -Dgtnets_path=./gtnets_install \
 -Denable_coverage=on \
+-Denable_model-checking=on \
+-Denable_compile_optimizations=off \
+-Denable_auto_install=on \
+-DCMAKE_INSTALL_PREFIX=./simgrid_install \
+-Denable_supernovae=off .
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild