set(USER_GUIDE_SOURCES
doc/user_guide/doxygen/install.doc
doc/user_guide/doxygen/bindings.doc
- doc/user_guide/doxygen/index-API.doc
doc/user_guide/doxygen/options.doc
doc/user_guide/doxygen/use.doc
doc/user_guide/doxygen/tracing.doc
doc/ref_guide/doxygen/module-xbt.doc
doc/ref_guide/doxygen/module-simix.doc
doc/ref_guide/doxygen/module-trace.doc
- doc/ref_guide/doxygen/index-API.doc
doc/ref_guide/doxygen/main.doc
doc/ref_guide/doxygen/RefGuideDoxyfile.in
doc/ref_guide/doxygen/RefGuideDoxygenLayout.xml
set(generated_src_files
${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
- src/xbt/automaton/y.tab.c
- src/xbt/automaton/y.tab.h
- src/xbt/automaton/automaton_parse.yy.c
+ src/xbt/automaton/parserPromela.tab.cacc
+ src/xbt/automaton/parserPromela.tab.hacc
+ src/xbt/automaton/automaton_lexer.yy.c
)
foreach(file ${generated_src_files})