SYSTEM=`uname`
-sh /home/mescal/navarro/liste_install.sh
-
if [ -e ./pipol ] ; then
rm -rf ./pipol/$PIPOL_HOST
mkdir ./pipol/$PIPOL_HOST
rm -rf ./pipol/$PIPOL_HOST
mkdir ./pipol/$PIPOL_HOST
fi
-
cd ./pipol/$PIPOL_HOST
+sh /home/mescal/navarro/liste_install.sh
+
svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk --quiet
cd simgrid-trunk
ctest -D ExperimentalSubmit
make clean
+#Make the model-checking mode
+cmake -Denable_model-checking=on ./
+ctest -D ExperimentalStart
+ctest -D ExperimentalConfigure
+ctest -D ExperimentalBuild
+ctest -D ExperimentalTest
+ctest -D ExperimentalCoverage
+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_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
make clean
fi
fi
-#Make the memcheck
-cmake -Denable_memcheck=on ./
+
+#Make the memcheck mode
+cmake -Denable_gtnets=off ./
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