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)
6 # the rest should only be changed if you understand what you're doing
7 if(enable_maintainer_mode AND NOT WIN32)
8 find_program(PYTHON_EXE NAMES python)
12 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_enum.h
13 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c
14 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h
15 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h
16 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_case.c
17 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c
20 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls.py
21 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls.in
23 COMMENT "Generating simcalls source files"
24 COMMAND ${PYTHON_EXE} simcalls.py
25 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/simix/
28 add_custom_target(simcalls_generated_src
30 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_enum.h
31 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c
32 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h
33 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h
34 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_case.c
35 ${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c
38 SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
39 "${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_enum.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_string.c;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_res_getter_setter.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_args_getter_setter.h;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_case.c;${CMAKE_HOME_DIRECTORY}/src/simix/simcalls_generated_body.c"
44 if(enable_maintainer_mode AND NOT WIN32)
45 find_program(FLEX_EXE NAMES flex)
46 find_program(FLEXML_EXE NAMES flexml)
47 find_program(SED_EXE NAMES sed)
48 find_program(BISON_EXE NAMES bison)
49 find_program(LEX_EXE NAMES lex)
51 mark_as_advanced(BISON_EXE)
52 mark_as_advanced(LEX_EXE)
54 if(BISON_EXE AND LEX_EXE)
57 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
58 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
59 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
62 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.lex
63 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.yacc
65 COMMENT "Generating automaton source files"
66 COMMAND ${BISON_EXE} --name-prefix=xbt_automaton_parser_ -d parserPromela.yacc
67 COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex
68 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
71 add_custom_target(automaton_generated_src
73 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
74 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
75 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
78 SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
79 "${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"
85 exec_program("${FLEX_EXE} --version" OUTPUT_VARIABLE FLEX_VERSION)
86 string(REGEX MATCH "[0-9]+[.]+[0-9]+[.]+[0-9]+" FLEX_VERSION "${FLEX_VERSION}")
87 string(REGEX MATCH "^[0-9]+" FLEX_MAJOR_VERSION "${FLEX_VERSION}")
88 string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEX_VERSION "${FLEX_VERSION}")
89 string(REGEX MATCH "^[0-9]+" FLEX_MINOR_VERSION "${FLEX_VERSION}")
90 string(REGEX MATCH "[0-9]+$" FLEX_PATCH_VERSION "${FLEX_VERSION}")
95 exec_program("${FLEXML_EXE} --version" OUTPUT_VARIABLE FLEXML_VERSION)
96 if (FLEXML_VERSION MATCHES "version Id:")
97 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.")
100 string(REGEX MATCH "[0-9]+[.]+[0-9]+[.]+[0-9]+" FLEXML_VERSION "${FLEXML_VERSION}")
101 string(REGEX MATCH "^[0-9]*" FLEXML_MAJOR_VERSION "${FLEXML_VERSION}")
102 string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEXML_VERSION "${FLEXML_VERSION}")
103 string(REGEX MATCH "^[0-9]+" FLEXML_MINOR_VERSION "${FLEXML_VERSION}")
104 string(REGEX MATCH "[0-9]+$" FLEXML_PATCH_VERSION "${FLEXML_VERSION}")
107 message(STATUS "Found flex: ${FLEX_EXE}")
108 message(STATUS "Found flexml: ${FLEXML_EXE}")
109 message(STATUS "Found sed: ${SED_EXE}")
111 if(HAVE_FLEXML AND HAVE_FLEX AND SED_EXE)
113 message(STATUS "Flex version: ${FLEX_MAJOR_VERSION}.${FLEX_MINOR_VERSION}.${FLEX_PATCH_VERSION}")
114 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})")
116 IF( (${FLEXML_MAJOR_VERSION} LESS ${FLEXML_MIN_MAJOR})
117 OR ((${FLEXML_MAJOR_VERSION} EQUAL ${FLEXML_MIN_MAJOR}) AND (${FLEXML_MINOR_VERSION} LESS ${FLEXML_MIN_MINOR}) )
118 OR ( (${FLEXML_MAJOR_VERSION} EQUAL ${FLEXML_MIN_MAJOR})
119 AND (${FLEXML_MINOR_VERSION} EQUAL ${FLEXML_MIN_MINOR})
120 AND (${FLEXML_PATCH_VERSION} LESS ${FLEXML_MIN_PATCH}) ))
122 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.")
126 set(string1 "'s/extern *\\([^(]*\\)\\( \\|\\( \\*\\)\\)/XBT_PUBLIC_DATA(\\1\\3) /'")
127 set(string2 "'s/XBT_PUBLIC_DATA(\\([^)]*\\)) *\\([^(]*\\)(/XBT_PUBLIC(\\1) \\2(/'")
128 set(string5 "'s/SET(DOCTYPE)/SET(ROOT_dax__adag)/'")
129 set(string8 "'s/#if defined(_WIN32)/#if defined(_XBT_WIN32)/g'")
130 set(string9 "'s/#include <unistd.h>/#if defined(_XBT_WIN32) || defined(__WIN32__) || defined(WIN32) || defined(__TOS_WIN__)\\n# ifndef __STRICT_ANSI__\\n# include <io.h>\\n# include <process.h>\\n# endif\\n#else\\n# include <unistd.h>\\n#endif/g'")
131 set(string14 "'\\!^ \\* Generated [0-9/]\\{10\\} [0-9:]\\{8\\}\\.$$!d'")
132 set(string15 "'s/FAIL(\"Premature EOF/if(!ETag_surfxml_include_state()) FAIL(\"Premature EOF/'")
135 OUTPUT ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h
136 ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
137 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
138 ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
139 ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
140 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
142 DEPENDS ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
143 ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
144 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
146 #${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
147 COMMAND ${FLEXML_EXE} --root-tags platform -b 1000000 -P surfxml --sysid=http://simgrid.gforge.inria.fr/simgrid.dtd -S src/surf/simgrid_dtd.l -L src/surf/simgrid.dtd
148 COMMAND ${SED_EXE} -i ${string14} src/surf/simgrid_dtd.l
149 COMMAND ${CMAKE_COMMAND} -E echo "src/surf/simgrid_dtd.l"
151 #${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.l: ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
152 COMMAND ${FLEXML_EXE} -b 1000000 -P graphxml --sysid=graphxml.dtd -S src/xbt/graphxml.l -L src/xbt/graphxml.dtd
153 COMMAND ${SED_EXE} -i ${string14} src/xbt/graphxml.l
154 COMMAND ${CMAKE_COMMAND} -E echo "src/xbt/graphxml.l"
156 #${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
157 COMMAND ${FLEXML_EXE} -b 1000000 --root-tags adag -P dax_ --sysid=dax.dtd -S src/simdag/dax_dtd.l -L src/simdag/dax.dtd
158 COMMAND ${SED_EXE} -i ${string5} src/simdag/dax_dtd.l
159 COMMAND ${SED_EXE} -i ${string14} src/simdag/dax_dtd.l
160 COMMAND ${CMAKE_COMMAND} -E echo "src/simdag/dax_dtd.l"
162 #${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
163 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid.h
164 COMMAND ${FLEXML_EXE} --root-tags platform -P surfxml --sysid=http://simgrid.gforge.inria.fr/simgrid.dtd -H include/surf/simgrid_dtd.h -L src/surf/simgrid.dtd
165 COMMAND ${SED_EXE} -i ${string1} include/surf/simgrid_dtd.h
166 COMMAND ${SED_EXE} -i ${string2} include/surf/simgrid_dtd.h
167 COMMAND ${SED_EXE} -i ${string14} include/surf/simgrid_dtd.h
168 COMMAND ${CMAKE_COMMAND} -E echo "include/surf/simgrid_dtd.h"
170 #${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h: ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
171 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
172 COMMAND ${FLEXML_EXE} -P graphxml --sysid=graphxml.dtd -H include/xbt/graphxml.h -L src/xbt/graphxml.dtd
173 COMMAND ${SED_EXE} -i ${string1} include/xbt/graphxml.h
174 COMMAND ${SED_EXE} -i ${string2} include/xbt/graphxml.h
175 COMMAND ${SED_EXE} -i ${string14} include/xbt/graphxml.h
176 COMMAND ${CMAKE_COMMAND} -E echo "include/xbt/graphxml.h"
178 #${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
179 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
180 COMMAND ${FLEXML_EXE} --root-tags adag -P dax_ --sysid=dax.dtd -H src/simdag/dax_dtd.h -L src/simdag/dax.dtd
181 COMMAND ${SED_EXE} -i ${string1} src/simdag/dax_dtd.h
182 COMMAND ${SED_EXE} -i ${string2} src/simdag/dax_dtd.h
183 COMMAND ${SED_EXE} -i ${string14} src/simdag/dax_dtd.h
184 COMMAND ${CMAKE_COMMAND} -E echo "src/simdag/dax_dtd.h"
186 #surf/simgrid_dtd.c: surf/simgrid_dtd.l
187 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
188 COMMAND ${SED_EXE} -i ${string8} src/surf/simgrid_dtd.l
189 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/surf
190 COMMAND ${FLEX_EXE} -o src/surf/simgrid_dtd.c -Psurf_parse_ --noline src/surf/simgrid_dtd.l
191 COMMAND ${SED_EXE} -i ${string9} src/surf/simgrid_dtd.c
192 COMMAND ${SED_EXE} -i ${string15} src/surf/simgrid_dtd.c
193 COMMAND ${CMAKE_COMMAND} -E echo "surf/simgrid_dtd.c"
195 #xbt/graphxml.c: xbt/graphxml.l
196 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
197 COMMAND ${SED_EXE} -i ${string8} src/xbt/graphxml.l
198 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/xbt
199 COMMAND ${FLEX_EXE} -o src/xbt/graphxml.c -Pxbt_graph_parse_ --noline src/xbt/graphxml.l
200 COMMAND ${SED_EXE} -i ${string9} src/xbt/graphxml.c
201 COMMAND ${CMAKE_COMMAND} -E echo "xbt/graphxml.c"
203 #simdag/dax_dtd.c: simdag/dax_dtd.l
204 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
205 COMMAND ${SED_EXE} -i ${string8} src/simdag/dax_dtd.l
206 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/simdag
207 COMMAND ${FLEX_EXE} -o src/simdag/dax_dtd.c -Pdax_ --noline src/simdag/dax_dtd.l
208 COMMAND ${SED_EXE} -i ${string9} src/simdag/dax_dtd.c
209 COMMAND ${CMAKE_COMMAND} -E echo "simdag/dax_dtd.c"
211 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}
212 COMMENT "Generating files in maintainer mode..."
215 add_custom_target(maintainer_files
216 DEPENDS ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h
217 ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
218 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
219 ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
220 ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
221 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
226 message(STATUS "Error : Install flexml before use maintainer mode.")
229 message(STATUS "Error : Install flex before use maintainer mode.")
232 message(STATUS "Error : Install sed before use maintainer mode.")
235 message(FATAL_ERROR STATUS "Error : Need to install all tools for maintainer mode !!!")