Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Pipol
authornavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 25 Jan 2011 12:55:34 +0000 (12:55 +0000)
committernavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 25 Jan 2011 12:55:34 +0000 (12:55 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9491 48e7efb5-ca39-0410-a469-dd3cf9ba447f

buildtools/pipol/Experimental.sh

index 7c7ee46..11aa5fd 100644 (file)
@@ -15,7 +15,8 @@ cd simgrid-trunk
 
 sh ./buildtools/pipol/liste_install.sh
 sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
 
 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
 
 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_gtnets=on \
 -Dgtnets_path=./gtnets_install \
 -Denable_coverage=on \
+-Denable_model-checking=on \
 -Denable_compile_optimizations=off \
 -Denable_supernovae=off .
 ctest -D ExperimentalStart
 -Denable_compile_optimizations=off \
 -Denable_supernovae=off .
 ctest -D ExperimentalStart