Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make generate_memcheck_tests.pl keep indentation (but the two first space).
[simgrid.git] / buildtools / pipol / MemCheck.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 #mem-check
29 cmake \
30 -Denable_lua=off \
31 -Denable_tracing=off \
32 -Denable_compile_optimizations=off \
33 -Denable_compile_warnings=on \
34 -Denable_lib_static=off \
35 -Denable_model-checking=off \
36 -Denable_latency_bound_tracking=off \
37 -Denable_gtnets=off \
38 -Denable_jedule=off \
39 -Drelease=on \
40 -Denable_memcheck=on ./
41 ctest -D ExperimentalStart
42 ctest -D ExperimentalConfigure
43 ctest -D ExperimentalBuild
44 ctest -D ExperimentalMemCheck
45 ctest -D ExperimentalSubmit