Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Change for new url for git clone
[simgrid.git] / buildtools / pipol / Experimental.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 https://gforge.inria.fr/git/simgrid/simgrid.git
15 cd simgrid
16
17 perl ./buildtools/pipol/cmake.pl
18 perl ./buildtools/pipol/ruby.pl
19
20 if [ -e /usr/bin/gcc-4.6 ] ; then
21 export CC=gcc-4.6
22 export CXX=g++-4.6
23 else
24 export CC=gcc
25 export CXX=g++
26 fi
27
28 #Those 3 lines is for GTNetS
29 #sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
30 #SIMGRID_ROOT=`pwd`
31 #export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SIMGRID_ROOT/gtnets_install/lib
32
33 #MC
34 cmake \
35 -Denable_latency_bound_tracking=on \
36 -Denable_gtnets=on \
37 -Dgtnets_path=./gtnets_install \
38 -Denable_coverage=on \
39 -Denable_model-checking=on \
40 -Denable_compile_optimizations=off \
41 -Denable_auto_install=on \
42 -DCMAKE_INSTALL_PREFIX=./simgrid_install \
43 -Drelease=on .
44 ctest -D ExperimentalStart
45 ctest -D ExperimentalConfigure
46 ctest -D ExperimentalBuild
47 ctest -D ExperimentalTest
48 ctest -D ExperimentalCoverage
49 ctest -D ExperimentalSubmit
50 make clean