message(" Maintainer mode: ${enable_maintainer_mode}")
message(" Supernovae mode: ${enable_supernovae}")
message(" Tracing mode : ${enable_tracing}")
+message(" Latency bound : ${enable_latency_bound_tracking}")
message(" Model checking : ${enable_model-checking}")
message(" Build SG doc : ${enable_doc}")
message("")