find_program(FLEX_EXE NAMES flex)
find_program(FLEXML_EXE NAMES flexml)
find_program(SED_EXE NAMES sed)
+find_program(YACC_EXE NAMES yacc)
+find_program(LEX_EXE NAMES lex)
+
+mark_as_advanced(YACC_EXE)
+mark_as_advanced(LEX_EXE)
+
+if(YACC_EXE AND LEX_EXE)
+ add_custom_target(automaton_generated_src ALL
+ DEPENDS ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.lex
+ ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/parserPromela.yacc
+ COMMENT "Generated automaton source files"
+ COMMAND ${YACC_EXE} -d parserPromela.yacc
+ COMMAND ${LEX_EXE} --prefix=xbt_automaton_parse_ --outfile=automaton_parse.yy.c parserPromela.lex
+ COMMAND ${CMAKE_COMMAND} -E remove y.output
+ WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
+ )
+
+ SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES
+ "${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/y.tab.c;${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/y.tab.h;${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/automaton_parse.yy.c"
+ )
+endif(YACC_EXE AND LEX_EXE)
IF(FLEX_EXE)
set(HAVE_FLEX 1)
set(string12 "'s/#if defined(_WIN32)/#if defined(_XBT_WIN32)/g'")
set(string13 "'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'")
set(string14 "'\\!^ \\* Generated [0-9/]\\{10\\} [0-9:]\\{8\\}\\.$$!d'")
+set(string15 "'s/FAIL(\"Premature EOF/if(!ETag_surfxml_include_state()) FAIL(\"Premature EOF/'")
ADD_CUSTOM_COMMAND(
OUTPUT ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid_dtd.h
${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
+ ${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
DEPENDS ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
+ ${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.l
${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
#${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/surf/simgrid.dtd
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
COMMAND ${SED_EXE} -i ${string14} src/surf/simgrid_dtd.l
COMMAND ${CMAKE_COMMAND} -E echo "src/surf/simgrid_dtd.l"
+
#${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.l: ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
COMMAND ${FLEXML_EXE} -b 1000000 -P graphxml --sysid=graphxml.dtd -S src/xbt/graphxml.l -L src/xbt/graphxml.dtd
COMMAND ${SED_EXE} -i ${string14} src/xbt/graphxml.l
COMMAND ${CMAKE_COMMAND} -E echo "src/xbt/graphxml.l"
+
#${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.l: ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
COMMAND ${FLEXML_EXE} -b 1000000 --root-tags adag -P dax_ --sysid=dax.dtd -S src/simdag/dax_dtd.l -L src/simdag/dax.dtd
COMMAND ${SED_EXE} -i ${string5} src/simdag/dax_dtd.l
COMMAND ${SED_EXE} -i ${string2} include/surf/simgrid_dtd.h
COMMAND ${SED_EXE} -i ${string14} include/surf/simgrid_dtd.h
COMMAND ${CMAKE_COMMAND} -E echo "include/surf/simgrid_dtd.h"
+
#${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h: ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.dtd
COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/include/xbt/graphxml.h
COMMAND ${FLEXML_EXE} -P graphxml --sysid=graphxml.dtd -H include/xbt/graphxml.h -L src/xbt/graphxml.dtd
COMMAND ${SED_EXE} -i ${string4} include/xbt/graphxml.h
COMMAND ${SED_EXE} -i ${string14} include/xbt/graphxml.h
COMMAND ${CMAKE_COMMAND} -E echo "include/xbt/graphxml.h"
+
#${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/simdag/dax.dtd
COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
COMMAND ${FLEXML_EXE} --root-tags adag -P dax_ --sysid=dax.dtd -H src/simdag/dax_dtd.h -L src/simdag/dax.dtd
COMMAND ${SED_EXE} -i ${string6} src/simdag/dax_dtd.h
COMMAND ${SED_EXE} -i ${string7} src/simdag/dax_dtd.h
COMMAND ${SED_EXE} -i ${string14} src/simdag/dax_dtd.h
- COMMAND ${FLEX_EXE} -o src/gras/DataDesc/ddt_parse.yy.c -Pgras_ddt_parse_ --noline src/gras/DataDesc/ddt_parse.yy.l
COMMAND ${CMAKE_COMMAND} -E echo "src/simdag/dax_dtd.h"
#surf/simgrid_dtd.c: surf/simgrid_dtd.l
COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_HOME_DIRECTORY}/src/surf
COMMAND ${FLEX_EXE} -o src/surf/simgrid_dtd.c -Psurf_parse_ --noline src/surf/simgrid_dtd.l
COMMAND ${SED_EXE} -i ${string9} src/surf/simgrid_dtd.c
+ COMMAND ${SED_EXE} -i ${string15} src/surf/simgrid_dtd.c
COMMAND ${CMAKE_COMMAND} -E echo "surf/simgrid_dtd.c"
+
#xbt/graphxml.c: xbt/graphxml.l
COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
COMMAND ${SED_EXE} -i ${string10} src/xbt/graphxml.l
COMMAND ${FLEX_EXE} -o src/xbt/graphxml.c -Pxbt_graph_parse_ --noline src/xbt/graphxml.l
COMMAND ${SED_EXE} -i ${string11} src/xbt/graphxml.c
COMMAND ${CMAKE_COMMAND} -E echo "xbt/graphxml.c"
+
+ # src/xbt/datadesc/ddt_parse.yy.c: src/xbt/datadesc/ddt_parse.yy.l
+ COMMAND ${FLEX_EXE} -o src/xbt/datadesc/ddt_parse.yy.c -Pxbt_ddt_parse_ --noline src/xbt/datadesc/ddt_parse.yy.l
+ COMMAND ${CMAKE_COMMAND} -E echo "xbt/datadesc/ddt_parse.yy.c"
+
#simdag/dax_dtd.c: simdag/dax_dtd.l
COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
COMMAND ${SED_EXE} -i ${string12} src/simdag/dax_dtd.l
${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.h
${CMAKE_HOME_DIRECTORY}/src/surf/simgrid_dtd.c
${CMAKE_HOME_DIRECTORY}/src/xbt/graphxml.c
+ ${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
${CMAKE_HOME_DIRECTORY}/src/simdag/dax_dtd.c
)
