X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/60209fce216635a9ad238819cbf8ee2a8f532705..7c8e37fa607d1e4a7786fc1167400c863304108d:/buildtools/pipol/Experimental.sh?ds=sidebyside

diff --git a/buildtools/pipol/Experimental.sh b/buildtools/pipol/Experimental.sh
index 7c7ee46825..11aa5fd33c 100644
--- a/buildtools/pipol/Experimental.sh
+++ b/buildtools/pipol/Experimental.sh
@@ -15,7 +15,8 @@ cd simgrid-trunk
 
 sh ./buildtools/pipol/liste_install.sh
 sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
-
+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
 
@@ -48,6 +49,7 @@ cmake \
 -Denable_gtnets=on \
 -Dgtnets_path=./gtnets_install \
 -Denable_coverage=on \
+-Denable_model-checking=on \
 -Denable_compile_optimizations=off \
 -Denable_supernovae=off .
 ctest -D ExperimentalStart