1 #!c:\mingw\msys\1.0\bin\sh -login
6 rm -rf $WORKSPACE/build
7 rm -rf $WORKSPACE/install
9 mkdir $WORKSPACE/install
12 if [ "$build_mode" = "Debug" ]
14 cmake -G "MSYS Makefiles" ..
17 if [ "$build_mode" = "ModelChecker" ]
19 cmake -G "MSYS Makefiles" -Denable_documentation=OFF -Denable_model-checking=ON -Denable_compile_optimizations=OFF ..