New way to make maintainer files.

[simgrid.git] / buildtools / Cmake / PrintArgs.cmake

diff --git a/buildtools/Cmake/PrintArgs.cmake b/buildtools/Cmake/PrintArgs.cmake
index cdecf79..8a71e1a 100644 (file)
--- 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("")