message("")
message(" Maintainer mode .............: ${enable_maintainer_mode}")
message(" Documentation................: ${enable_documentation}")
message(" Model checking ..............: ${HAVE_MC}")
message(" Tracing mode ................: ${enable_tracing}")
message(" Jedule mode ................: ${enable_jedule}")
message("")
message(" Maintainer mode .............: ${enable_maintainer_mode}")
message(" Documentation................: ${enable_documentation}")
message(" Model checking ..............: ${HAVE_MC}")
message(" Tracing mode ................: ${enable_tracing}")
message(" Jedule mode ................: ${enable_jedule}")