--Dwith_context=auto \
--Denable_compile_optimizations=off \
--Denable_compile_warnings=off \
--Denable_supernovae=off \
--Denable_memcheck=on \
--Denable_smpi=on . 2>&1 | grep -i 'BUILDNAME'
\ No newline at end of file
+-Dgtnets_path=~/gtnets \
+-Denable_coverage=off \
+-Denable_smpi=on . \
+2>&1 | grep -i 'BUILDNAME'
+
+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 . \
+2>&1 | grep -i 'BUILDNAME'
\ No newline at end of file