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
-Denable_gtnets=on \
-Dgtnets_path=./gtnets_install \
-Denable_coverage=on \
+-Denable_model-checking=on \
-Denable_compile_optimizations=off \
-Denable_supernovae=off .
ctest -D ExperimentalStart