Cosmetics

[simgrid.git] / buildtools / pipol / Experimental_all_simgrid_gt.sh

diff --git a/buildtools/pipol/Experimental_all_simgrid_gt.sh b/buildtools/pipol/Experimental_all_simgrid_gt.sh
index 01ed1a1..11c95c7 100644 (file)
--- a/buildtools/pipol/Experimental_all_simgrid_gt.sh
+++ b/buildtools/pipol/Experimental_all_simgrid_gt.sh
@@ -2,8 +2,6 @@
 
 SYSTEM=`uname`
 
-sh /home/mescal/navarro/liste_install.sh
-
 if [ -e ./pipol ] ; then
        rm -rf ./pipol/$PIPOL_HOST
        mkdir ./pipol/$PIPOL_HOST
@@ -12,19 +10,21 @@ else
        rm -rf ./pipol/$PIPOL_HOST
        mkdir ./pipol/$PIPOL_HOST
 fi
-
 cd ./pipol/$PIPOL_HOST
 
 svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk --quiet
+
+sh ./simgrid-trunk/buildtools/pipol/liste_install.sh
+perl ./simgrid-trunk/buildtools/pipol/cmake.pl
+
 cd simgrid-trunk
 
 #Make the ucontext mode
-cmake -Dwith_context=ucontext -Denable_coverage=on ./
+cmake -Dwith_context=ucontext ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
@@ -34,12 +34,20 @@ ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
 #Make the tracing mode
-cmake -Dwith_context=auto -Denable_tracing=on ./
+cmake -Dwith_context=auto -Denable_tracing=on./
+ctest -D ExperimentalStart
+ctest -D ExperimentalConfigure
+ctest -D ExperimentalBuild
+ctest -D ExperimentalTest
+ctest -D ExperimentalSubmit
+make clean
+
+#Make the model-checking mode
+cmake -Denable_model-checking=on -Denable_coverage=on ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
@@ -49,22 +57,20 @@ ctest -D ExperimentalSubmit
 make clean
 
 #Make the full flags mode
-cmake -Denable_tracing=off -Denable_compile_warnings=on -Denable_compile_optimizations=on -Ddisable_lua=on -Ddisable_java=on -Ddisable_ruby=on ./
+cmake -Denable_model-checking=off -Denable_coverage=off -Denable_tracing=off -Denable_compile_warnings=on -Denable_compile_optimizations=on -Denable_lua=off -Denable_java=off -Denable_ruby=off ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
 #Make the supernovae mode
-cmake -Dsupernovae=on ./
+cmake -Denable_supernovae=on ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
@@ -120,21 +126,21 @@ if [ $SYSTEM = Linux ] ; then
        
        if [ -e $userhome/usr/lib/libgtsim-opt.so ] ; then
                #Make gtnets
-               cmake -Dsupernovae=off -Denable_compile_warnings=off -Denable_compile_optimizations=off -Dgtnets_path=$absolute_path/usr ./
+               cmake -Denable_supernovae=off -Denable_compile_warnings=off -Denable_compile_optimizations=off -Dgtnets_path=$absolute_path/usr ./
                ctest -D ExperimentalStart
                ctest -D ExperimentalConfigure
                ctest -D ExperimentalBuild
                ctest -D ExperimentalTest
-               ctest -D ExperimentalCoverage
                ctest -D ExperimentalSubmit
                make clean
        fi
 fi
-#Make the memcheck
-cmake -Denable_memcheck=on ./
+
+#Make the memcheck mode
+cmake -Denable_gtnets=off -Denable_memcheck=on ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalMemCheck
 ctest -D ExperimentalSubmit
+make clean
\ No newline at end of file