message("SED : ${SED_EXE}")
message("PERL : ${PERL_EXECUTABLE}")
endif(enable_maintainer_mode)
message("SED : ${SED_EXE}")
message("PERL : ${PERL_EXECUTABLE}")
endif(enable_maintainer_mode)
message("cgraph.h : ${HAVE_CGRAPH_H}")
message("libgraph : ${HAVE_GRAPH_LIB}")
message("graph.h : ${HAVE_GRAPH_H}")
message("cgraph.h : ${HAVE_CGRAPH_H}")
message("libgraph : ${HAVE_GRAPH_LIB}")
message("graph.h : ${HAVE_GRAPH_H}")
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
message(" Latency bound : ${enable_latency_bound_tracking}")
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
message(" Latency bound : ${enable_latency_bound_tracking}")