+ endif(enable_model-checking)
+ if(enable_maintainer_mode)
+ message("")
+ message("FLEX : ${FLEX_EXE}")
+ message("FLEX_VERSION : ${FLEX_MAJOR_VERSION}.${FLEX_MINOR_VERSION}.${FLEX_PATCH_VERSION}")
+ message("FLEXML : ${FLEXML_EXE}")
+ message("FLEXML_VERSION : ${FLEXML_MAJOR_VERSION}.${FLEXML_MINOR_VERSION}")
+ message("SED : ${SED_EXE}")
+ message("PERL : ${PERL_EXE}")
+ endif(enable_maintainer_mode)
+ message("")
+ message("libcgraph : ${HAVE_CGRAPH_LIB}")
+ message("cgraph.h : ${HAVE_CGRAPH_H}")