endif(NOT APPLE AND NOT WIN32)
message(" Compile Static : ${enable_lib_static}")
message("")
-if(NOT APPLE AND NOT WIN32)
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}")