X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/05eb4d3f2c9a2a8b25072c6d48708bd18c7a39f6..13b07927e77836be303493d890bb57f674bfb848:/buildtools/Cmake/PrintArgs.cmake

diff --git a/buildtools/Cmake/PrintArgs.cmake b/buildtools/Cmake/PrintArgs.cmake
index cdecf799ea..8a71e1a8ff 100644
--- a/buildtools/Cmake/PrintArgs.cmake
+++ b/buildtools/Cmake/PrintArgs.cmake
@@ -114,9 +114,17 @@ if(enable_print_message)
 	message("PERL	  :			${PERL_EXECUTABLE}")
 	endif(enable_memcheck)
 	message("")
+	if(enable_model-checking)
 	message("HAVE_MMAP : 			${HAVE_MMAP}")
 	message("HAVE_MC : 			${HAVE_MC}")
 	message("MMALLOC_WANT_OVERIDE_LEGACY :	${MMALLOC_WANT_OVERIDE_LEGACY}")
+	endif(enable_model-checking)
+	if(enable_maintainer_mode)
+	message("FLEX	: 			${FLEX_EXE}")
+	message("FLEXML	: 			${FLEXML_EXE}")
+	message("SED	: 			${SED_EXE}")
+	message("PERL	: 			${PERL_EXE}")
+	endif(enable_maintainer_mode)
 	message("________________________________________________________________________________")
 	message("________________________________________________________________________________ DEBUG END")
 	message("")