A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
86a7bf5
..
bd14191
100755
(executable)
--- a/
buildtools/pipol/Nightly_simgrid.sh
+++ b/
buildtools/pipol/Nightly_simgrid.sh
@@
-54,7
+54,8
@@
else
fi
cd ./pipol/$PIPOL_HOST
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
cd simgrid
perl ./buildtools/pipol/cmake.pl
@@
-69,7
+70,9
@@
export CXX=g++
fi
#DEFAULT CONF
fi
#DEFAULT CONF
-cmake -Drelease=on .
+cmake \
+-Drelease=on \
+-Denable_lua=on .
ctest -D NightlyStart
ctest -D NightlyConfigure
ctest -D NightlyBuild
ctest -D NightlyStart
ctest -D NightlyConfigure
ctest -D NightlyBuild
@@
-81,8
+84,9
@@
make clean
cmake \
-Denable_coverage=on \
-Denable_model-checking=on \
cmake \
-Denable_coverage=on \
-Denable_model-checking=on \
--Denable_compile_optimizations=off \
--Drelease=on .
+-Denable_lua=off \
+-Drelease=on \
+-Denable_supernovae=off .
ctest -D NightlyStart
ctest -D NightlyConfigure
ctest -D NightlyBuild
ctest -D NightlyStart
ctest -D NightlyConfigure
ctest -D NightlyBuild