Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
[simgrid.git] / buildtools / jenkins / runmingw.sh
1 #!c:\mingw\msys\1.0\bin\sh -login
2
3 WORKSPACE=$1
4 build_mode=$2
5
6 rm -rf $WORKSPACE/build
7 rm -rf $WORKSPACE/install
8 mkdir $WORKSPACE/build
9 mkdir $WORKSPACE/install
10 cd $WORKSPACE/build
11
12 if [ "$build_mode" = "Debug" ]
13 then
14 cmake -G "MSYS Makefiles" ..
15 fi
16
17 if [ "$build_mode" = "ModelChecker" ]
18 then
19 cmake -G "MSYS Makefiles" -Denable_model-checking=ON -Denable_compile_optimizations=OFF ..
20 fi
21
22 make