+ 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_EXECUTABLE}")
+ endif(enable_maintainer_mode)
+ if(enable_graphviz)
+ message("")
+ message("libcdt : ${HAVE_CDT_LIB}")
+ message("libagraph : ${HAVE_AGRAPH_LIB}")
+ message("agraph.h : ${HAVE_AGRAPH_H}")
+ message("libcgraph : ${HAVE_CGRAPH_LIB}")
+ message("cgraph.h : ${HAVE_CGRAPH_H}")
+ message("libgraph : ${HAVE_GRAPH_LIB}")
+ message("graph.h : ${HAVE_GRAPH_H}")
+ endif(enable_graphviz)
+ if(pipol_user)
+ message("")
+ message("ssh: ${HAVE_SSH}")
+ message("rsync: ${HAVE_RSYNC}")
+ message("options: ${CMAKE_OPTIONS}")
+ endif(pipol_user)
+ if(HAVE_PCRE_LIB)
+ message("")
+ message("LIBPCRE : ${PATH_PCRE_LIB}")
+ message("PATH_LIBPCRE : ${PATHLIBPCRE}")
+ message("PATH_PCRE_H : ${PATH_PCRE_H}")
+ endif(HAVE_PCRE_LIB)
+ message("")
+ message("LIB_EXE : ${LIB_EXE}")