1 # Change the following when we need a recent enough version of flexml to get the maintainer mode working
2 set(FLEXML_MIN_MAJOR 1)
3 set(FLEXML_MIN_MINOR 9)
4 set(FLEXML_MIN_PATCH 6)
5 # Change the following when we need a recent enough version of flex to get the maintainer mode working.
6 # Maintainer mode does NOT work with version 2.5.35!
11 # Let's generate header files required by SMPI when the call location tracing
13 if(enable_maintainer_mode)
14 add_custom_command(OUTPUT ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces.h
15 ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces_fortran.h
17 ${CMAKE_HOME_DIRECTORY}/tools/smpi/generate_smpi_defines.pl
18 ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi.h
20 COMMENT "Generating header files for call-location tracing with SMPI"
21 # Make sure there is no space after the redirection operator (>). I received
22 # error messages in that case on my Debian system.
23 COMMAND "${CMAKE_HOME_DIRECTORY}/tools/smpi/generate_smpi_defines.pl" "${CMAKE_HOME_DIRECTORY}/include/smpi/smpi.h >${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces.h"
24 COMMAND "${CMAKE_HOME_DIRECTORY}/tools/smpi/generate_smpi_defines.pl" "-f" "${CMAKE_HOME_DIRECTORY}/include/smpi/smpi.h >${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces_fortran.h"
27 add_custom_target(smpi_generated_headers_call_location_tracing
29 ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces.h
30 ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces_fortran.h
33 SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
34 "${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces.h;${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_extended_traces_fortran.h"
38 if(enable_maintainer_mode)
39 find_program(FLEX_EXE NAMES flex)
40 find_program(FLEXML_EXE NAMES flexml)
41 find_program(SED_EXE NAMES sed)
42 find_program(BISON_EXE NAMES bison)
43 find_program(LEX_EXE NAMES lex)
45 mark_as_advanced(BISON_EXE)
46 mark_as_advanced(LEX_EXE)
48 if(BISON_EXE AND LEX_EXE)
51 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
52 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
53 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
56 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.lex
57 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.yacc
59 COMMENT "Generating automaton source files"
60 COMMAND ${BISON_EXE} --name-prefix=xbt_automaton_parser_ -d -t parserPromela.yacc
61 COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex
62 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
65 add_custom_target(automaton_generated_src
67 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
68 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
69 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
72 SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
73 "${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"
77 message(STATUS "Found flex: ${FLEX_EXE}")
80 execute_process(COMMAND ${FLEX_EXE} --version OUTPUT_VARIABLE FLEX_VERSION)
81 string(REGEX MATCH "[0-9]+[.]+[0-9]+[.]+[0-9]+" FLEX_VERSION "${FLEX_VERSION}")
82 string(REGEX MATCH "^[0-9]+" FLEX_MAJOR_VERSION "${FLEX_VERSION}")
83 string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEX_VERSION "${FLEX_VERSION}")
84 string(REGEX MATCH "^[0-9]+" FLEX_MINOR_VERSION "${FLEX_VERSION}")
85 string(REGEX MATCH "[0-9]+$" FLEX_PATCH_VERSION "${FLEX_VERSION}")
88 message(STATUS "Found flexml: ${FLEXML_EXE}")
91 execute_process(COMMAND ${FLEXML_EXE} --version OUTPUT_VARIABLE FLEXML_VERSION)
92 if (FLEXML_VERSION MATCHES "version Id:")
93 message(FATAL_ERROR "You have an ancient flexml version (${FLEXML_VERSION}). You need at least v${FLEXML_MIN_MAJOR}.${FLEXML_MIN_MINOR}.${FLEXML_MIN_PATCH} to compile in maintainer mode. Upgrade your flexml, or disable the Maintainer mode option in cmake.")
96 string(REGEX MATCH "[0-9]+[.]+[0-9]+[.]+[0-9]+" FLEXML_VERSION "${FLEXML_VERSION}")
97 string(REGEX MATCH "^[0-9]*" FLEXML_MAJOR_VERSION "${FLEXML_VERSION}")
98 string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEXML_VERSION "${FLEXML_VERSION}")
99 string(REGEX MATCH "^[0-9]+" FLEXML_MINOR_VERSION "${FLEXML_VERSION}")
100 string(REGEX MATCH "[0-9]+$" FLEXML_PATCH_VERSION "${FLEXML_VERSION}")
103 message(STATUS "Found sed: ${SED_EXE}")
105 if(HAVE_FLEXML AND HAVE_FLEX AND SED_EXE)
107 message(STATUS "Flex version: ${FLEX_MAJOR_VERSION}.${FLEX_MINOR_VERSION}.${FLEX_PATCH_VERSION} (need at least version ${FLEX_MIN_MAJOR}.${FLEX_MIN_MINOR}.${FLEX_MIN_PATCH})")
108 message(STATUS "Flexml version: ${FLEXML_MAJOR_VERSION}.${FLEXML_MINOR_VERSION}.${FLEXML_PATCH_VERSION} (need at least version ${FLEXML_MIN_MAJOR}.${FLEXML_MIN_MINOR}.${FLEXML_MIN_PATCH})")
110 IF( (${FLEXML_MAJOR_VERSION} LESS ${FLEXML_MIN_MAJOR})
111 OR ((${FLEXML_MAJOR_VERSION} EQUAL ${FLEXML_MIN_MAJOR}) AND (${FLEXML_MINOR_VERSION} LESS ${FLEXML_MIN_MINOR}) )
112 OR ( (${FLEXML_MAJOR_VERSION} EQUAL ${FLEXML_MIN_MAJOR})
113 AND (${FLEXML_MINOR_VERSION} EQUAL ${FLEXML_MIN_MINOR})
114 AND (${FLEXML_PATCH_VERSION} LESS ${FLEXML_MIN_PATCH}) ))
116 message(FATAL_ERROR "Your flexml version is too old to compile in maintainer mode (need at least v${FLEXML_MIN_MAJOR}.${FLEXML_MIN_MINOR}.${FLEXML_MIN_PATCH}). Upgrade your flexml, or disable the Maintainer mode option in cmake.")
120 IF( (${FLEX_MAJOR_VERSION} LESS ${FLEX_MIN_MAJOR})
121 OR ((${FLEX_MAJOR_VERSION} EQUAL ${FLEX_MIN_MAJOR}) AND (${FLEX_MINOR_VERSION} LESS ${FLEX_MIN_MINOR}) )
122 OR ( (${FLEX_MAJOR_VERSION} EQUAL ${FLEX_MIN_MAJOR})
123 AND (${FLEX_MINOR_VERSION} EQUAL ${FLEX_MIN_MINOR})
124 AND (${FLEX_PATCH_VERSION} LESS ${FLEX_MIN_PATCH}) ))
126 message(FATAL_ERROR "Your flex version is too old to compile in maintainer mode (need at least v${FLEX_MIN_MAJOR}.${FLEX_MIN_MINOR}.${FLEX_MIN_PATCH}). Upgrade your flex, or disable the Maintainer mode option in cmake (run 'ccmake').")
130 set(string1 "'s/extern /XBT_PUBLIC_DATA /'")
131 set(string2 "'s/XBT_PUBLIC_DATA \\([^(]*\\)(/XBT_PUBLIC \\1(/'")
132 set(string3 "'s/XBT_PUBLIC void STag_simgrid_parse_include/XBT_ATTRIB_NORETURN &/'") # remove with v5 of the dtd
133 set(string4 "'s/XBT_PUBLIC void STag_simgrid_parse_\\(mount\\|storage\\)/XBT_ATTRIB_NORETURN &/'") # remove with v5 of the dtd
134 set(string5 "'s/SET(DOCTYPE)/SET(ROOT_dax__adag)/'")
135 set(string14 "'\\!^ \\* Generated [0-9/]\\{10\\} [0-9:]\\{8\\}\\.$$!d'")
138 OUTPUT ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.h
139 ${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.h
140 ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.c
141 ${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.c
143 DEPENDS ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid.dtd
144 ${CMAKE_HOME_DIRECTORY}/src/dag/dax.dtd
146 #${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid.dtd
147 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/kernel/xml
148 COMMAND ${FLEXML_EXE} --root-tags platform -b 1000000 -P simgrid_parse --sysid=https://simgrid.org/simgrid.dtd -S src/kernel/xml/simgrid_dtd.l -L src/kernel/xml/simgrid.dtd
149 COMMAND ${PERL_EXE} ${CMAKE_HOME_DIRECTORY}/tools/cmake/scripts/fixup_simgrid_dtd_l.pl < src/kernel/xml/simgrid_dtd.l > src/kernel/xml/simgrid_dtd.l.tmp
150 COMMAND mv src/kernel/xml/simgrid_dtd.l.tmp src/kernel/xml/simgrid_dtd.l
151 COMMAND ${CMAKE_COMMAND} -E echo " Generated src/kernel/xml/simgrid_dtd.l"
153 #${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/dag/dax.dtd
154 COMMAND ${FLEXML_EXE} -b 1000000 --root-tags adag -P dax_ --sysid=dax.dtd -S src/dag/dax_dtd.l -L src/dag/dax.dtd
155 COMMAND ${SED_EXE} -i ${string5} src/dag/dax_dtd.l
156 COMMAND ${SED_EXE} -i ${string14} src/dag/dax_dtd.l
157 COMMAND ${CMAKE_COMMAND} -E echo " Generated src/dag/dax_dtd.l"
159 #${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid.dtd
160 COMMAND ${FLEXML_EXE} --root-tags platform -P simgrid_parse --sysid=https://simgrid.org/simgrid.dtd -H src/kernel/xml/simgrid_dtd.h -L src/kernel/xml/simgrid.dtd
161 COMMAND ${SED_EXE} -i ${string1} src/kernel/xml/simgrid_dtd.h
162 COMMAND ${SED_EXE} -i ${string2} src/kernel/xml/simgrid_dtd.h
163 COMMAND ${SED_EXE} -i ${string3} src/kernel/xml/simgrid_dtd.h
164 COMMAND ${SED_EXE} -i ${string4} src/kernel/xml/simgrid_dtd.h
165 COMMAND ${SED_EXE} -i ${string14} src/kernel/xml/simgrid_dtd.h
166 COMMAND ${CMAKE_COMMAND} -E echo " Generated src/kernel/xml/simgrid_dtd.h"
168 #${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/dag/dax.dtd
169 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.h
170 COMMAND ${FLEXML_EXE} --root-tags adag -P dax_ --sysid=dax.dtd -H src/dag/dax_dtd.h -L src/dag/dax.dtd
171 COMMAND ${SED_EXE} -i ${string1} src/dag/dax_dtd.h
172 COMMAND ${SED_EXE} -i ${string2} src/dag/dax_dtd.h
173 COMMAND ${SED_EXE} -i ${string14} src/dag/dax_dtd.h
174 COMMAND ${CMAKE_COMMAND} -E echo " Generated src/dag/dax_dtd.h"
176 #kernel/xml/simgrid_dtd.c: kernel/xml/simgrid_dtd.l
177 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.c
178 COMMAND ${FLEX_EXE} -o src/kernel/xml/simgrid_dtd.c -Psimgrid_parse_ --noline src/kernel/xml/simgrid_dtd.l
179 COMMAND ${CMAKE_COMMAND} -E echo " Generated kernel/xml/simgrid_dtd.c"
181 #dag/dax_dtd.c: dag/dax_dtd.l
182 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.c
183 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/dag
184 COMMAND ${FLEX_EXE} -o src/dag/dax_dtd.c -Pdax_ --noline src/dag/dax_dtd.l
185 COMMAND ${CMAKE_COMMAND} -E echo " Generated src/dag/dax_dtd.c"
187 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}
188 COMMENT "Generating files in maintainer mode..."
193 message(STATUS "Error : Install flexml to use the maintainer mode.")
196 message(STATUS "Error : Install flex to use the maintainer mode.")
199 message(STATUS "Error : Install sed before use maintainer mode.")
202 message(FATAL_ERROR STATUS "Error : Need to install all (flexml, flex, sed) tools for maintainer mode !!!")
207 add_custom_target(maintainer_files
208 DEPENDS ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.h
209 ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.c
210 ${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.h
211 ${CMAKE_HOME_DIRECTORY}/src/dag/dax_dtd.c