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