forget to apply cleanups in MC on SMPI (separate MC_modelcheck for safety and liveness)

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

diff --git a/buildtools/Cmake/MaintainerMode.cmake b/buildtools/Cmake/MaintainerMode.cmake
index cc76eba..be667ea 100644 (file)
--- a/buildtools/Cmake/MaintainerMode.cmake
+++ b/buildtools/Cmake/MaintainerMode.cmake
@@ -9,19 +9,33 @@ if(enable_maintainer_mode AND NOT WIN32)
   mark_as_advanced(LEX_EXE)
 
   if(BISON_EXE AND LEX_EXE)
-    add_custom_target(automaton_generated_src ALL
-      DEPENDS ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.lex
+    add_custom_command(
+      OUTPUT
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
+
+      DEPENDS
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.lex
       ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.yacc
+
       COMMENT "Generating automaton source files"
       COMMAND ${BISON_EXE} --name-prefix=xbt_automaton_parser_ -d parserPromela.yacc
       COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex
       WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
       )
 
+    add_custom_target(automaton_generated_src
+      DEPENDS
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
+      ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
+      )
+
     SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
       "${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc;${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc;${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_parse.yy.c"
       )
-  endif(BISON_EXE AND LEX_EXE)
+  endif()
 
   IF(FLEX_EXE)
     set(HAVE_FLEX 1)
@@ -31,7 +45,7 @@ if(enable_maintainer_mode AND NOT WIN32)
     string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEX_VERSION "${FLEX_VERSION}")
     string(REGEX MATCH "^[0-9]+" FLEX_MINOR_VERSION "${FLEX_VERSION}")
     string(REGEX MATCH "[0-9]+$" FLEX_PATCH_VERSION "${FLEX_VERSION}")
-  ENDIF(FLEX_EXE)
+  ENDIF()
 
   IF(FLEXML_EXE)
     set(HAVE_FLEXML 1)
@@ -39,7 +53,7 @@ if(enable_maintainer_mode AND NOT WIN32)
     string(REGEX MATCH "[0-9]+[.]+[0-9]+" FLEXML_VERSION "${FLEXML_VERSION}")
     string(REGEX MATCH "^[0-9]*" FLEXML_MAJOR_VERSION "${FLEXML_VERSION}")
     string(REGEX MATCH "[0-9]*$" FLEXML_MINOR_VERSION "${FLEXML_VERSION}")
-  ENDIF(FLEXML_EXE)
+  ENDIF()
 
   message(STATUS "Found flex: ${FLEX_EXE}")
   message(STATUS "Found flexml: ${FLEXML_EXE}")
@@ -163,18 +177,18 @@ if(enable_maintainer_mode AND NOT WIN32)
       ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
       )
 
-  else(HAVE_FLEXML AND HAVE_FLEX  AND SED_EXE)
+  else()
     if(NOT HAVE_FLEXML)
       message(STATUS "Error : Install flexml before use maintainer mode.")
-    endif(NOT HAVE_FLEXML)
+    endif()
     if(NOT HAVE_FLEX)
       message(STATUS "Error : Install flex before use maintainer mode.")
-    endif(NOT HAVE_FLEX)
+    endif()
     if(NOT SED_EXE)
       message(STATUS "Error : Install sed before use maintainer mode.")
-    endif(NOT SED_EXE)
+    endif()
 
     message(FATAL_ERROR STATUS "Error : Need to install all tools for maintainer mode !!!")
-  endif(HAVE_FLEXML AND HAVE_FLEX  AND SED_EXE)
+  endif()
 
-endif(enable_maintainer_mode AND NOT WIN32)
+endif()