message(" Compile Static : ${enable_lib_static}")
message("")
message(" Maintainer mode: ${enable_maintainer_mode}")
-if(NOT APPLE AND NOT WIN32)
message(" Supernovae mode: ${enable_supernovae}")
-endif(NOT APPLE AND NOT WIN32)
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
message(" Latency bound : ${enable_latency_bound_tracking}")