model-checker : update tesh

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

diff --git a/buildtools/pipol/Nightly_memCheck.sh b/buildtools/pipol/Nightly_memCheck.sh
index 5152683..00ff108 100755 (executable)
--- a/buildtools/pipol/Nightly_memCheck.sh
+++ b/buildtools/pipol/Nightly_memCheck.sh
@@ -12,18 +12,26 @@ else
 fi
 cd ./pipol/$PIPOL_HOST
 
-git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+export GIT_SSL_NO_VERIFY=1
+git clone git://scm.gforge.inria.fr/simgrid/simgrid.git
 cd simgrid
 
 perl ./buildtools/pipol/cmake.pl
 perl ./buildtools/pipol/ruby.pl
 
+if [ -e /usr/bin/gcc-4.6 ] ; then
+export CC=gcc-4.6
+export CXX=g++-4.6
+else
+export CC=gcc
+export CXX=g++
+fi
+
 #mem-check
 cmake \
 -Denable_lua=off \
--Denable_tracing=off \
--Denable_smpi=off \
--Denable_supernovae=off \
+-Denable_tracing=on \
+-Denable_smpi=on \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=on \
 -Denable_lib_static=off \
@@ -31,6 +39,7 @@ cmake \
 -Denable_latency_bound_tracking=off \
 -Denable_gtnets=off \
 -Denable_jedule=off \
+-Denable_mallocators=off \
 -Denable_memcheck=on ./
 ctest -D NightlyStart
 ctest -D NightlyConfigure