-#gtnets
-cmake \
--Denable_latency_bound_tracking=on \
--Denable_gtnets=on \
--Dgtnets_path=./gtnets_install \
--Denable_coverage=on \
-ctest -D ExperimentalStart
-ctest -D ExperimentalConfigure
-ctest -D ExperimentalBuild
-ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
-ctest -D ExperimentalSubmit
-make clean
+ sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
+ SIMGRID_ROOT=`pwd`
+ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SIMGRID_ROOT/gtnets_install/lib
+ perl ./buildtools/pipol/cmake.pl
+ perl ./buildtools/pipol/ruby.pl
+
+ #supernovae
+ cmake \
+ -Denable_lua=on \
+ -Denable_ruby=on \
+ -Denable_java=on \
+ -Denable_tracing=on \
+ -Denable_smpi=on \
+ -Denable_supernovae=on \
+ -Denable_compile_optimizations=on \
+ -Denable_compile_warnings=on \
+ -Denable_lib_static=off \
+ -Denable_model-checking=off \
+ -Denable_latency_bound_tracking=off \
+ -Denable_gtnets=off .
+ ctest -D ExperimentalStart
+ ctest -D ExperimentalConfigure
+ ctest -D ExperimentalBuild
+ ctest -D ExperimentalTest
+ ctest -D ExperimentalSubmit
+ make clean
+
+ #MC
+ cmake \
+ -Denable_latency_bound_tracking=on \
+ -Denable_gtnets=on \
+ -Dgtnets_path=./gtnets_install \
+ -Denable_coverage=on \
+ -Denable_model-checking=on \
+ -Denable_compile_optimizations=off \
+ -Denable_auto_install=on \
+ -DCMAKE_INSTALL_PREFIX=./simgrid_install \
+ -Denable_supernovae=off .
+ ctest -D ExperimentalStart
+ ctest -D ExperimentalConfigure
+ ctest -D ExperimentalBuild
+ ctest -D ExperimentalTest
+ ctest -D ExperimentalCoverage
+ ctest -D ExperimentalSubmit
+ make clean
+fi
\ No newline at end of file