message(" Compile Java : ${HAVE_JAVA}")
message(" Compile Lua : ${HAVE_LUA}")
message(" Compile Ruby : ${HAVE_RUBY}")
message(" Compile Java : ${HAVE_JAVA}")
message(" Compile Lua : ${HAVE_LUA}")
message(" Compile Ruby : ${HAVE_RUBY}")
message(" Maintainer mode: ${enable_maintainer_mode}")
message(" Supernovae mode: ${enable_supernovae}")
message(" Tracing mode : ${enable_tracing}")
message(" Model checking : ${enable_model-checking}")
message(" Maintainer mode: ${enable_maintainer_mode}")
message(" Supernovae mode: ${enable_supernovae}")
message(" Tracing mode : ${enable_tracing}")
message(" Model checking : ${enable_model-checking}")