model-checker : forget case of comparison in heap comparison algorithm

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

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index 1e147a7..bd14191 100755 (executable)
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -44,10 +44,6 @@
 #MacOS Snow Leopard 10.6____________________________________________________________________________
 #PIPOL esn x86_mac-mac-osx-server-snow-leopard-navarro-2011-09-22-113726.dd.gz none 02:00 --user --silent
 
-#___________________________________________________________________________________________________
-#windows-server-2008-64bits_________________________________________________________________________
-#PIPOL esn amd64-windows-server-2008-64bits.dd.gz none 02:00 --root --user --silent
-
 if [ -e ./pipol ] ; then
         rm -rf ./pipol/$PIPOL_HOST
         mkdir ./pipol/$PIPOL_HOST
@@ -58,7 +54,8 @@ 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 https://gforge.inria.fr/git/simgrid/simgrid.git
 cd simgrid
 
 perl ./buildtools/pipol/cmake.pl
@@ -72,8 +69,10 @@ export CC=gcc
 export CXX=g++
 fi
 
-#supernovae DEFAULT CONF
-cmake -Drelease=on .
+#DEFAULT CONF
+cmake \
+-Drelease=on \
+-Denable_lua=on .
 ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
@@ -85,7 +84,7 @@ make clean
 cmake \
 -Denable_coverage=on \
 -Denable_model-checking=on \
--Denable_compile_optimizations=off \
+-Denable_lua=off \
 -Drelease=on \
 -Denable_supernovae=off .
 ctest -D NightlyStart