Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove local variable only if frame name is known
[simgrid.git] / buildtools / pipol / Experimental_bindings.sh
1 #!/bin/bash
2
3 if [ -e ./pipol ] ; then
4         rm -rf ./pipol/$PIPOL_HOST
5         mkdir ./pipol/$PIPOL_HOST
6 else
7         mkdir ./pipol
8         rm -rf ./pipol/$PIPOL_HOST
9         mkdir ./pipol/$PIPOL_HOST
10 fi
11 cd ./pipol/$PIPOL_HOST
12
13 export GIT_SSL_NO_VERIFY=1
14 git clone git://scm.gforge.inria.fr/simgrid/simgrid.git
15 cd simgrid
16 #git checkout v3_7_x
17
18 perl ./buildtools/pipol/cmake.pl
19 perl ./buildtools/pipol/ruby.pl
20
21 if [ -e /usr/bin/gcc-4.6 ] ; then
22 export CC=gcc-4.6
23 export CXX=g++-4.6
24 else
25 export CC=gcc
26 export CXX=g++
27 fi
28
29 mkdir build-def
30 cd build-def
31
32 #DEFAULT CONF
33 cmake ..
34 ctest -D ExperimentalStart
35 ctest -D ExperimentalConfigure
36 ctest -D ExperimentalBuild
37 ctest -D ExperimentalTest
38 ctest -D ExperimentalSubmit
39 cd ../
40 rm -rf ./build-def
41
42 # really clean the working directory
43 git reset --hard master
44 git clean -dfx
45
46 #MC
47 cmake \
48 -Denable_coverage=on \
49 -Denable_model-checking=on \
50 -Denable_lua=on \
51 -Denable_compile_optimizations=off .
52 ctest -D ExperimentalStart
53 ctest -D ExperimentalConfigure
54 ctest -D ExperimentalBuild
55 ctest -D ExperimentalTest
56 ctest -D ExperimentalCoverage
57 ctest -D ExperimentalSubmit
58
59 export SIMGRID_ROOT=`pwd`
60 export LD_LIBRARY_PATH=`pwd`/lib
61 export DYLD_LIBRARY_PATH=`pwd`/lib #for mac
62
63 cd ../
64 git clone git://scm.gforge.inria.fr/simgrid/simgrid-ruby.git simgrid-ruby --quiet
65 cd simgrid-ruby
66
67 cmake .
68 ctest -D ExperimentalStart
69 ctest -D ExperimentalConfigure
70 ctest -D ExperimentalBuild
71 ctest -D ExperimentalTest
72 ctest -D ExperimentalSubmit