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}")