buildtools/jenkins/run.bat

   1 #!c:\mingw\msys\1.0\bin\sh -login
   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 -G "MinGW Makefiles" $WORKSPACE
  16 mingw32-make dist
  17 tar xzf `cat VERSION`.tar.gz
  18 cd `cat VERSION`
  19
  20 if [ "$build_mode" = "Debug" ]
  21 then
  22 cmake -G "MinGW Makefiles" -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON .
  23 fi
  24
  25 if [ "$build_mode" = "ModelChecker" ]
  26 then
  27 cmake -G "MinGW Makefiles" -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON .
  28 fi
  29
  30 if [ "$build_mode" = "DynamicAnalysis" ]
  31 then
  32 cmake -G "MinGW Makefiles" -Denable_lua=OFF -Denable_java=ON -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 .
  33 fi
  34
  35 mingw32-make