X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/35ee86436a225f8544dfe1ae58af4ed174bd6d2d..7ebe3f9caa1ea5b7aed6ba2f6f7b86d816012ead:/buildtools/pipol/Nightly_simgrid.sh

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index fa5eef7846..cf3b4b7fc0 100644
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -2,24 +2,24 @@
 
 #PRE-PIPOL /home/mescal/navarro/pre-simgrid.sh
 
-#PIPOL esn i386_mac-mac-osx-server-leopard.dd.gz none 02:00  --user --quiet
+#PIPOL esn i386_mac-mac-osx-server-leopard.dd.gz none 02:00  --user --silent
 
-#PIPOL esn i386-linux-ubuntu-intrepid.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-ubuntu-intrepid.dd.gz none 02:00 --user --silent
 
-#PIPOL esn i386-linux-ubuntu-jaunty.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-ubuntu-jaunty.dd.gz none 02:00 --user --silent
 
-#PIPOL esn i386-linux-ubuntu-karmic.dd.gz none 02:00 --user --quiet
-#PIPOL esn amd64-linux-ubuntu-karmic.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-ubuntu-karmic.dd.gz none 02:00 --user --silent
+#PIPOL esn amd64-linux-ubuntu-karmic.dd.gz none 02:00 --user --silent
 
-#PIPOL esn i386-linux-debian-lenny.dd.gz none 02:00 --user --quiet
-#PIPOL esn amd64-linux-debian-lenny.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-debian-lenny.dd.gz none 02:00 --user --silent
+#PIPOL esn amd64-linux-debian-lenny.dd.gz none 02:00 --user --silent
 
-#PIPOL esn i386-linux-debian-testing.dd none 02:00 --user --quiet
+#PIPOL esn i386-linux-debian-testing.dd none 02:00 --user --silent
 
-#PIPOL esn i386-linux-fedora-core11.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-fedora-core11.dd.gz none 02:00 --user --silent
 
-#PIPOL esn i386-linux-fedora-core12.dd.gz none 02:00 --user --quiet
-#PIPOL esn amd64-linux-fedora-core12.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-fedora-core12.dd.gz none 02:00 --user --silent
+#PIPOL esn amd64-linux-fedora-core12.dd.gz none 02:00 --user --silent
 
 SYSTEM=`uname`
 
@@ -39,22 +39,20 @@ svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk -
 cd simgrid-trunk
 
 #Make the ucontext mode
-cmake -Dwith_context=ucontext -Denable_coverage=on ./
+cmake -Dwith_context=ucontext ./
 ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
 ctest -D NightlyTest
-ctest -D NightlyCoverage
 ctest -D NightlySubmit
 make clean
 
 #Make the pthread mode
-cmake -Dwith_context=pthread ./
+cmake -Dwith_context=pthread  ./
 ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
 ctest -D NightlyTest
-ctest -D NightlyCoverage
 ctest -D NightlySubmit
 make clean
 
@@ -64,17 +62,25 @@ ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
 ctest -D NightlyTest
+ctest -D NightlySubmit
+make clean
+
+#Make the model-checking mode
+cmake -Denable_model-checking=on -Denable_coverage=on ./
+ctest -D NightlyStart
+ctest -D NightlyConfigure
+ctest -D NightlyBuild
+ctest -D NightlyTest
 ctest -D NightlyCoverage
 ctest -D NightlySubmit
 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 NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
 ctest -D NightlyTest
-ctest -D NightlyCoverage
 ctest -D NightlySubmit
 make clean
 
@@ -84,7 +90,6 @@ ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
 ctest -D NightlyTest
-ctest -D NightlyCoverage
 ctest -D NightlySubmit
 make clean
 
@@ -137,7 +142,7 @@ if [ $SYSTEM = Linux ] ; then
 	cd $home_dir
 	rm -rf $absolute_path/GTNetS
 	cd simgrid-trunk
-
+	
 	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 ./
@@ -145,8 +150,18 @@ if [ $SYSTEM = Linux ] ; then
 		ctest -D NightlyConfigure
 		ctest -D NightlyBuild
 		ctest -D NightlyTest
-		ctest -D NightlyCoverage
 		ctest -D NightlySubmit
 		make clean
 	fi
 fi
+
+if( $PIPOL_IMAGE = i386-linux-ubuntu-karmic.dd.gz )
+	#Make the memcheck mode
+	cmake -Denable_gtnets=off -Denable_memcheck=on ./
+	ctest -D NightlyStart
+	ctest -D NightlyConfigure
+	ctest -D NightlyBuild
+	ctest -D NightlyMemCheck
+	ctest -D NightlySubmit
+	make clean
+fi
\ No newline at end of file