buildtools/pipol/Experimental.sh

   1 #!/bin/bash
   2
   3 if [ -e ./pipol ] ; then
   4         rm -rf ./pipol/$PIPOL_HOST
   5         mkdir ./pipol/$PIPOL_HOST
   6 else
   7         mkdir ./pipol
   8         rm -rf ./pipol/$PIPOL_HOST
   9         mkdir ./pipol/$PIPOL_HOST
  10 fi
  11 cd ./pipol/$PIPOL_HOST
  12
  13 export GIT_SSL_NO_VERIFY=1
  14 git clone https://gforge.inria.fr/git/simgrid/simgrid.git
  15 cd simgrid
  16
  17 perl ./buildtools/pipol/cmake.pl
  18 perl ./buildtools/pipol/ruby.pl
  19
  20 if [ -e /usr/bin/gcc-4.6 ] ; then
  21 export CC=gcc-4.6
  22 export CXX=g++-4.6
  23 else
  24 export CC=gcc
  25 export CXX=g++
  26 fi
  27
  28 #Those 3 lines is for GTNetS
  29 #sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
  30 #SIMGRID_ROOT=`pwd`
  31 #export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SIMGRID_ROOT/gtnets_install/lib
  32
  33 #MC
  34 cmake \
  35 -Denable_latency_bound_tracking=on \
  36 -Denable_gtnets=on \
  37 -Dgtnets_path=./gtnets_install \
  38 -Denable_coverage=on \
  39 -Denable_model-checking=on \
  40 -Denable_compile_optimizations=off \
  41 -Denable_auto_install=on \
  42 -DCMAKE_INSTALL_PREFIX=./simgrid_install \
  43 -Drelease=on .
  44 ctest -D ExperimentalStart
  45 ctest -D ExperimentalConfigure
  46 ctest -D ExperimentalBuild
  47 ctest -D ExperimentalTest
  48 ctest -D ExperimentalCoverage
  49 ctest -D ExperimentalSubmit
  50 make clean