-#full_flags
-cmake \
--Denable_lua=on \
--Denable_ruby=on \
--Denable_java=on \
--Denable_tracing=on \
--Denable_smpi=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 \
--Denable_supernovae=off .
-ctest -D NightlyStart
-ctest -D NightlyConfigure
-ctest -D NightlyBuild
-ctest -D NightlyTest
-ctest -D NightlySubmit
-make clean
-
-#supernovae
-cmake \
--Denable_lua=on \
--Denable_ruby=on \
--Denable_java=on \
--Denable_tracing=on \
--Denable_smpi=on \
--Denable_supernovae=on \
--Denable_compile_optimizations=off \
--Denable_compile_warnings=off \
--Denable_lib_static=off \
--Denable_model-checking=off \
--Denable_latency_bound_tracking=off \
--Denable_gtnets=off .
-ctest -D NightlyStart
-ctest -D NightlyConfigure
-ctest -D NightlyBuild
-ctest -D NightlyTest
-ctest -D NightlySubmit
-make clean
-
-#model checking
-cmake \
--Denable_coverage=on \
--Denable_lua=on \
--Denable_ruby=on \
--Denable_java=on \
--Denable_model-checking=on \
--Denable_tracing=on \
--Denable_latency_bound_tracking=on \
--Denable_gtnets=off \
--Denable_compile_optimizations=off \
--Denable_compile_warnings=off \
--Denable_supernovae=off \
--Denable_lib_static=off \
--Denable_smpi=on .
-ctest -D NightlyStart
-ctest -D NightlyConfigure
-ctest -D NightlyBuild
-ctest -D NightlyTest
-ctest -D NightlyCoverage
-ctest -D NightlySubmit
-make clean
-
-if [ $SYSTEM = Linux ] ; then
-
- sh ./buildtools/pipol/install_gtnets.sh ./gtnets_install
-
- if [ -e ./gtnets_install/lib/libgtsim-opt.so ] ; then
- #gtnets
- cmake -Denable_lua=on \
- -Denable_ruby=on \
- -Denable_lib_static=on \
- -Denable_model-checking=off \
- -Denable_tracing=on \
- -Denable_latency_bound_tracking=on \
- -Denable_gtnets=on \
- -Denable_java=on \
- -Dgtnets_path=$userhome/usr \
- -Denable_coverage=off \
- -Denable_smpi=on .
- ctest -D NightlyStart
- ctest -D NightlyConfigure
- ctest -D NightlyBuild
- ctest -D NightlyTest
- ctest -D NightlySubmit
- make clean
- fi