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
8 if(enable_maintainer_mode AND NOT WIN32)
9 find_program(FLEX_EXE NAMES flex)
10 find_program(FLEXML_EXE NAMES flexml)
11 find_program(SED_EXE NAMES sed)
12 find_program(BISON_EXE NAMES bison)
13 find_program(LEX_EXE NAMES lex)
15 mark_as_advanced(BISON_EXE)
16 mark_as_advanced(LEX_EXE)
18 if(BISON_EXE AND LEX_EXE)
21 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
22 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
23 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
26 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.lex
27 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.yacc
29 COMMENT "Generating automaton source files"
30 COMMAND ${BISON_EXE} --name-prefix=xbt_automaton_parser_ -d parserPromela.yacc
31 COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex
32 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
35 add_custom_target(automaton_generated_src
37 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_lexer.yy.c
38 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.cacc
39 ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.tab.hacc
42 SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
43 "${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"
49 exec_program("${FLEX_EXE} --version" OUTPUT_VARIABLE FLEX_VERSION)
50 string(REGEX MATCH "[0-9]+[.]+[0-9]+[.]+[0-9]+" FLEX_VERSION "${FLEX_VERSION}")
51 string(REGEX MATCH "^[0-9]+" FLEX_MAJOR_VERSION "${FLEX_VERSION}")
52 string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEX_VERSION "${FLEX_VERSION}")
53 string(REGEX MATCH "^[0-9]+" FLEX_MINOR_VERSION "${FLEX_VERSION}")
54 string(REGEX MATCH "[0-9]+$" FLEX_PATCH_VERSION "${FLEX_VERSION}")
59 exec_program("${FLEXML_EXE} --version" OUTPUT_VARIABLE FLEXML_VERSION)
60 if (FLEXML_VERSION MATCHES "version Id:")
61 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.")
64 string(REGEX MATCH "[0-9]+[.]+[0-9]+[.]+[0-9]+" FLEXML_VERSION "${FLEXML_VERSION}")
65 string(REGEX MATCH "^[0-9]*" FLEXML_MAJOR_VERSION "${FLEXML_VERSION}")
66 string(REGEX MATCH "[0-9]+[.]+[0-9]+$" FLEXML_VERSION "${FLEXML_VERSION}")
67 string(REGEX MATCH "^[0-9]+" FLEXML_MINOR_VERSION "${FLEXML_VERSION}")
68 string(REGEX MATCH "[0-9]+$" FLEXML_PATCH_VERSION "${FLEXML_VERSION}")
71 message(STATUS "Found flex: ${FLEX_EXE}")
72 message(STATUS "Found flexml: ${FLEXML_EXE}")
73 message(STATUS "Found sed: ${SED_EXE}")
75 if(HAVE_FLEXML AND HAVE_FLEX AND SED_EXE)
77 message(STATUS "Flex version: ${FLEX_MAJOR_VERSION}.${FLEX_MINOR_VERSION}.${FLEX_PATCH_VERSION}")
78 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})")
80 IF( (${FLEXML_MAJOR_VERSION} LESS ${FLEXML_MIN_MAJOR})
81 OR ((${FLEXML_MAJOR_VERSION} EQUAL ${FLEXML_MIN_MAJOR}) AND (${FLEXML_MINOR_VERSION} LESS ${FLEXML_MIN_MINOR}) )
82 OR ( (${FLEXML_MAJOR_VERSION} EQUAL ${FLEXML_MIN_MAJOR})
83 AND (${FLEXML_MINOR_VERSION} EQUAL ${FLEXML_MIN_MINOR})
84 AND (${FLEXML_PATCH_VERSION} LESS ${FLEXML_MIN_PATCH}) ))
86 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.")
90 set(string1 "'s/extern *\\([^(]*\\)\\( \\|\\( \\*\\)\\)/XBT_PUBLIC_DATA(\\1\\3) /'")
91 set(string2 "'s/XBT_PUBLIC_DATA(\\([^)]*\\)) *\\([^(]*\\)(/XBT_PUBLIC(\\1) \\2(/'")
92 set(string5 "'s/SET(DOCTYPE)/SET(ROOT_dax__adag)/'")
93 set(string8 "'s/#if defined(_WIN32)/#if defined(_XBT_WIN32)/g'")
94 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'")
95 set(string14 "'\\!^ \\* Generated [0-9/]\\{10\\} [0-9:]\\{8\\}\\.$$!d'")
96 set(string15 "'s/FAIL(\"Premature EOF/if(!ETag_surfxml_include_state()) FAIL(\"Premature EOF/'")
99 OUTPUT ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h
100 ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
101 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
102 ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
103 ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
104 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
106 DEPENDS ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
107 ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
108 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
110 #${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
111 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
112 COMMAND ${SED_EXE} -i ${string14} src/surf/simgrid_dtd.l
113 COMMAND ${CMAKE_COMMAND} -E echo "src/surf/simgrid_dtd.l"
115 #${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.l: ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
116 COMMAND ${FLEXML_EXE} -b 1000000 -P graphxml --sysid=graphxml.dtd -S src/xbt/graphxml.l -L src/xbt/graphxml.dtd
117 COMMAND ${SED_EXE} -i ${string14} src/xbt/graphxml.l
118 COMMAND ${CMAKE_COMMAND} -E echo "src/xbt/graphxml.l"
120 #${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
121 COMMAND ${FLEXML_EXE} -b 1000000 --root-tags adag -P dax_ --sysid=dax.dtd -S src/simdag/dax_dtd.l -L src/simdag/dax.dtd
122 COMMAND ${SED_EXE} -i ${string5} src/simdag/dax_dtd.l
123 COMMAND ${SED_EXE} -i ${string14} src/simdag/dax_dtd.l
124 COMMAND ${CMAKE_COMMAND} -E echo "src/simdag/dax_dtd.l"
126 #${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
127 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid.h
128 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
129 COMMAND ${SED_EXE} -i ${string1} include/surf/simgrid_dtd.h
130 COMMAND ${SED_EXE} -i ${string2} include/surf/simgrid_dtd.h
131 COMMAND ${SED_EXE} -i ${string14} include/surf/simgrid_dtd.h
132 COMMAND ${CMAKE_COMMAND} -E echo "include/surf/simgrid_dtd.h"
134 #${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h: ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
135 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
136 COMMAND ${FLEXML_EXE} -P graphxml --sysid=graphxml.dtd -H include/xbt/graphxml.h -L src/xbt/graphxml.dtd
137 COMMAND ${SED_EXE} -i ${string1} include/xbt/graphxml.h
138 COMMAND ${SED_EXE} -i ${string2} include/xbt/graphxml.h
139 COMMAND ${SED_EXE} -i ${string14} include/xbt/graphxml.h
140 COMMAND ${CMAKE_COMMAND} -E echo "include/xbt/graphxml.h"
142 #${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
143 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
144 COMMAND ${FLEXML_EXE} --root-tags adag -P dax_ --sysid=dax.dtd -H src/simdag/dax_dtd.h -L src/simdag/dax.dtd
145 COMMAND ${SED_EXE} -i ${string1} src/simdag/dax_dtd.h
146 COMMAND ${SED_EXE} -i ${string2} src/simdag/dax_dtd.h
147 COMMAND ${SED_EXE} -i ${string14} src/simdag/dax_dtd.h
148 COMMAND ${CMAKE_COMMAND} -E echo "src/simdag/dax_dtd.h"
150 #surf/simgrid_dtd.c: surf/simgrid_dtd.l
151 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
152 COMMAND ${SED_EXE} -i ${string8} src/surf/simgrid_dtd.l
153 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/surf
154 COMMAND ${FLEX_EXE} -o src/surf/simgrid_dtd.c -Psurf_parse_ --noline src/surf/simgrid_dtd.l
155 COMMAND ${SED_EXE} -i ${string9} src/surf/simgrid_dtd.c
156 COMMAND ${SED_EXE} -i ${string15} src/surf/simgrid_dtd.c
157 COMMAND ${CMAKE_COMMAND} -E echo "surf/simgrid_dtd.c"
159 #xbt/graphxml.c: xbt/graphxml.l
160 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
161 COMMAND ${SED_EXE} -i ${string8} src/xbt/graphxml.l
162 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/xbt
163 COMMAND ${FLEX_EXE} -o src/xbt/graphxml.c -Pxbt_graph_parse_ --noline src/xbt/graphxml.l
164 COMMAND ${SED_EXE} -i ${string9} src/xbt/graphxml.c
165 COMMAND ${CMAKE_COMMAND} -E echo "xbt/graphxml.c"
167 #simdag/dax_dtd.c: simdag/dax_dtd.l
168 COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
169 COMMAND ${SED_EXE} -i ${string8} src/simdag/dax_dtd.l
170 COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/simdag
171 COMMAND ${FLEX_EXE} -o src/simdag/dax_dtd.c -Pdax_ --noline src/simdag/dax_dtd.l
172 COMMAND ${SED_EXE} -i ${string9} src/simdag/dax_dtd.c
173 COMMAND ${CMAKE_COMMAND} -E echo "simdag/dax_dtd.c"
175 WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}
176 COMMENT "Generating files in maintainer mode..."
179 add_custom_target(maintainer_files
180 DEPENDS ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h
181 ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
182 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
183 ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
184 ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
185 ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
190 message(STATUS "Error : Install flexml before use maintainer mode.")
193 message(STATUS "Error : Install flex before use maintainer mode.")
196 message(STATUS "Error : Install sed before use maintainer mode.")
199 message(FATAL_ERROR STATUS "Error : Need to install all tools for maintainer mode !!!")