#!/bin/bash
+ulimit -c 0
+
if [ -e ./pipol ] ; then
rm -rf ./pipol/$PIPOL_HOST
mkdir ./pipol/$PIPOL_HOST
fi
cd ./pipol/$PIPOL_HOST
-git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+export GIT_SSL_NO_VERIFY=1
+git clone git://scm.gforge.inria.fr/simgrid/simgrid.git
cd simgrid
+#git checkout v3_7_x
perl ./buildtools/pipol/cmake.pl
perl ./buildtools/pipol/ruby.pl
-#supernovae
-if [ "x$PIPOL_IMAGE" = "xi386-linux-debian-testing.dd.gz" ] ; then
- cmake -DCMAKE_C_COMPILER=gcc-4.6 -DCMAKE_CXX_COMPILER=g++-4.6 -Drelease=on .
+if [ -e /usr/bin/gcc-4.6 ] ; then
+export CC=gcc-4.6
+export CXX=g++-4.6
else
- cmake -Drelease=on .
+export CC=gcc
+export CXX=g++
fi
+
+mkdir build-def
+cd build-def
+
+#DEFAULT CONF
+cmake \
+-Denable_smpi_MPICH3_testsuite=on ..
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
ctest -D ExperimentalSubmit
-
-export SIMGRID_ROOT=`pwd`
-export LD_LIBRARY_PATH=`pwd`/lib
-export DYLD_LIBRARY_PATH=`pwd`/lib #for mac
-
cd ../
-git clone git://scm.gforge.inria.fr/simgrid/simgrid-java.git simgrid-java --quiet
-cd simgrid-java
-export DYLD_LIBRARY_PATH=$DYLD_LIBRARY_PATH:`pwd`/lib
-export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:`pwd`/lib #for mac
+rm -rf ./build-def
-if [ "x$PIPOL_IMAGE" = "xi386-linux-debian-testing.dd.gz" ] ; then
- cmake -DCMAKE_C_COMPILER=gcc-4.6 -DCMAKE_CXX_COMPILER=g++-4.6 .
-else
- cmake .
-fi
+# really clean the working directory
+git reset --hard master
+git clean -dfx
+
+#MC
+cmake \
+-Denable_coverage=on \
+-Denable_model-checking=on \
+-Denable_lua=on \
+-Denable_compile_optimizations=off .
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
+ctest -D ExperimentalCoverage
ctest -D ExperimentalSubmit
+export SIMGRID_ROOT=`pwd`
+export LD_LIBRARY_PATH=`pwd`/lib
+export DYLD_LIBRARY_PATH=`pwd`/lib #for mac
+
cd ../
git clone git://scm.gforge.inria.fr/simgrid/simgrid-ruby.git simgrid-ruby --quiet
cd simgrid-ruby
-if [ "x$PIPOL_IMAGE" = "xi386-linux-debian-testing.dd.gz" ] ; then
- cmake -DCMAKE_C_COMPILER=gcc-4.6 -DCMAKE_CXX_COMPILER=g++-4.6 .
-else
- cmake .
-fi
+cmake .
ctest -D ExperimentalStart
ctest -D ExperimentalConfigure
ctest -D ExperimentalBuild
ctest -D ExperimentalTest
-ctest -D ExperimentalSubmit
\ No newline at end of file
+ctest -D ExperimentalSubmit