Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fail loudly when someone tries to unlock a mutex owned by someone else
[simgrid.git] / buildtools / jenkins / makedist.sh
1 #!/bin/sh
2
3 if [ -d $WORKSPACE/build ]
4 then
5   rm -rf $WORKSPACE/build
6 fi
7 if [ -d $WORKSPACE/install ]
8 then
9   rm -rf $WORKSPACE/install
10 fi
11 mkdir $WORKSPACE/build
12 mkdir $WORKSPACE/install
13 cd $WORKSPACE/build
14
15 cmake $WORKSPACE
16 make
17 make dist
18 make distcheck
19 tar xzf `cat VERSION`.tar.gz
20 cd `cat VERSION`
21
22 if [ "$build_mode" = "Debug" ]
23 then
24 cmake -Denable_coverage=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=OFF .
25 fi
26
27 if [ "$build_mode" = "ModelChecker" ]
28 then
29 cmake -Denable_coverage=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF .
30 fi
31
32 if [ "$build_mode" = "DynamicAnalysis" ]
33 then
34 cmake -Denable_lua=OFF -Denable_tracing=ON -Denable_smpi=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON -Denable_lib_static=OFF -Denable_model-checking=OFF -Denable_latency_bound_tracking=OFF -Denable_gtnets=OFF -Denable_jedule=OFF -Denable_mallocators=OFF -Denable_memcheck=ON .
35 fi
36 make