message(" Model checking ..............: ${HAVE_MC}")
message(" Tracing mode ................: ${enable_tracing}")
message(" Jedule mode ................: ${enable_jedule}")
-message(" Latency bound ...............: ${enable_latency_bound_tracking}")
message(" Graphviz mode ...............: ${HAVE_GRAPHVIZ}")
message(" Sigc++ mode .................: ${SIMGRID_HAVE_LIBSIG}")
message(" Mallocators .................: ${enable_mallocators}")