message("HAVE_ASPRINTF ${HAVE_ASPRINTF}")
message("HAVE_VASPRINTF ${HAVE_VASPRINTF}")
message("HAVE_MMAP ${HAVE_MMAP}")
+ message("")
+ message("CONTEXT_THREADS ${CONTEXT_THREADS}")
+ message("CONTEXT_UCONTEXT ${CONTEXT_UCONTEXT}")
message("________________________________________________________________________________")
message("________________________________________________________________________________ DEBUG END")
message("")
message(" CFlags : ${CMAKE_C_FLAGS}")
message(" CPPFlags: ${CMAKE_CXX_FLAGS}")
message("")
-message(" Context backend: ${with_context}")
if(NOT APPLE AND NOT WIN32)
message(" Compile Gtnets : ${HAVE_GTNETS}")
message(" Gtnets path : ${gtnets_path}")
message(" Supernovae mode: ${enable_supernovae}")
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
+message(" Jedule mode : ${enable_jedule}")
message(" Latency bound : ${enable_latency_bound_tracking}")
message(" Graphviz mode : ${HAVE_GRAPHVIZ}")
message("")