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_documentation=OFF -Denable_model-checking=ON -Denable_compile_optimizations=OFF ..
  20 fi
  21
  22 make