message(" Compile Static : ${enable_lib_static}")
message("")
message(" Maintainer mode: ${enable_maintainer_mode}")
+message(" Supernovae mode: ${enable_supernovae}")
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
message(" Jedule mode : ${enable_jedule}")