message("HAVE_ASPRINTF ${HAVE_ASPRINTF}")
message("HAVE_VASPRINTF ${HAVE_VASPRINTF}")
message("HAVE_MMAP ${HAVE_MMAP}")
message("HAVE_ASPRINTF ${HAVE_ASPRINTF}")
message("HAVE_VASPRINTF ${HAVE_VASPRINTF}")
message("HAVE_MMAP ${HAVE_MMAP}")
message("________________________________________________________________________________")
message("________________________________________________________________________________ DEBUG END")
message("")
message("________________________________________________________________________________")
message("________________________________________________________________________________ DEBUG END")
message("")
if(NOT APPLE AND NOT WIN32)
message(" Compile Gtnets : ${HAVE_GTNETS}")
message(" Gtnets path : ${gtnets_path}")
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(" Supernovae mode: ${enable_supernovae}")
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
message(" Latency bound : ${enable_latency_bound_tracking}")
message(" Graphviz mode : ${HAVE_GRAPHVIZ}")
message("")
message(" Latency bound : ${enable_latency_bound_tracking}")
message(" Graphviz mode : ${HAVE_GRAPHVIZ}")
message("")