#PRE-PIPOL /home/mescal/navarro/pre-simgrid.sh
-#PIPOL esn i386-linux-ubuntu-intrepid.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-jaunty.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-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-jaunty.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-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-testing.dd 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-fedora-core11.dd.gz none 02:00 --user --quiet
+#PIPOL esn i386-linux-debian-testing.dd 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-core11.dd.gz none 02:00 --user --silent
+
+#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`
ctest -D NightlySubmit
make clean
+#Make the model-checking mode
+cmake -Denable_model-checking=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_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
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 ./
make clean
fi
fi
+
+if( $PIPOL_IMAGE = i386-linux-ubuntu-karmic.dd.gz )
+ #Make the memcheck mode
+ cmake -Denable_gtnets=off ./
+ ctest -D NightlyStart
+ ctest -D NightlyConfigure
+ ctest -D NightlyBuild
+ ctest -D NightlyMemCheck
+ ctest -D NightlySubmit
+ make clean
+fi
\ No newline at end of file