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
Pipol
[simgrid.git]
/
buildtools
/
pipol
/
Experimental.sh
diff --git
a/buildtools/pipol/Experimental.sh
b/buildtools/pipol/Experimental.sh
index
1391e98
..
11aa5fd
100644
(file)
--- a/
buildtools/pipol/Experimental.sh
+++ b/
buildtools/pipol/Experimental.sh
@@
-13,11
+13,12
@@
cd ./pipol/$PIPOL_HOST
svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk --quiet
cd simgrid-trunk
svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk --quiet
cd simgrid-trunk
-sh ./
simgrid-trunk/
buildtools/pipol/liste_install.sh
+sh ./buildtools/pipol/liste_install.sh
sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
-
-perl ./simgrid-trunk/buildtools/pipol/cmake.pl
-perl ./simgrid-trunk/buildtools/pipol/ruby.pl
+SIMGRID_ROOT=`pwd`
+export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SIMGRID_ROOT/gtnets_install/lib
+perl ./buildtools/pipol/cmake.pl
+perl ./buildtools/pipol/ruby.pl
rm CMakeCache.txt
rm CMakeCache.txt
@@
-48,6
+49,9
@@
cmake \
-Denable_gtnets=on \
-Dgtnets_path=./gtnets_install \
-Denable_coverage=on \
-Denable_gtnets=on \
-Dgtnets_path=./gtnets_install \
-Denable_coverage=on \
+-Denable_model-checking=on \
+-Denable_compile_optimizations=off \
+-Denable_supernovae=off .
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild