+#supernovae
+cmake -Denable_lua=on \
+-Denable_ruby=on \
+-Denable_lib_static=on \
+-Denable_graphviz=on \
+-Denable_model-checking=off \
+-Denable_tracing=on \
+-Denable_latency_bound_tracking=on \
+-Denable_gtnets=off \
+-Denable_java=on \
+-Dwith_context=auto \
+-Denable_compile_optimizations=off \
+-Denable_compile_warnings=off \
+-Denable_supernovae=on \
+-Denable_smpi=on .
+ctest -D NightlyStart
+ctest -D NightlyConfigure
+ctest -D NightlyBuild
+ctest -D NightlyTest
+ctest -D NightlySubmit
+make clean
+
+#model checking
+cmake -Denable_lua=on \
+-Denable_ruby=on \
+-Denable_lib_static=on \
+-Denable_graphviz=on \
+-Denable_model-checking=on \
+-Denable_tracing=on \
+-Denable_latency_bound_tracking=on \
+-Denable_gtnets=on \
+-Denable_java=on \
+-Dwith_context=auto \
+-Denable_compile_optimizations=off \
+-Denable_compile_warnings=off \
+-Denable_supernovae=off \
+-Denable_smpi=on .