message("HAVE_VASPRINTF ..............: ${HAVE_VASPRINTF}")
message("HAVE_MMAP ...................: ${HAVE_MMAP}")
message("HAVE_THREAD_LOCAL_STORAGE ...: ${HAVE_THREAD_LOCAL_STORAGE}")
+ message("HAVE_MMALLOC ................: ${HAVE_MMALLOC}")
message("")
message("CONTEXT_THREADS .............: ${CONTEXT_THREADS}")
message("CONTEXT_UCONTEXT ............: ${CONTEXT_UCONTEXT}")
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(" Model checking ......: ${HAVE_MC}")
message(" Tracing mode ........: ${enable_tracing}")
message(" Jedule mode ........: ${enable_jedule}")
message(" Latency bound .......: ${enable_latency_bound_tracking}")