-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
-
- #Make the memcheck mode
- cmake -Denable_lua=off \
- -Denable_ruby=off \
- -Denable_lib_static=off \
- -Denable_model-checking=off \
- -Denable_tracing=off \
- -Denable_latency_bound_tracking=off \
- -Denable_coverage=off \
- -Denable_gtnets=off \
- -Denable_java=off \
- -Denable_memcheck=on .
- ctest -D NightlyStart
- ctest -D NightlyConfigure
- ctest -D NightlyBuild
- ctest -D NightlyMemCheck
- ctest -D NightlySubmit
- make clean
-
-fi
\ No newline at end of file