set(generated_src_files
${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
src/xbt/automaton/parserPromela.tab.cacc
src/xbt/automaton/parserPromela.tab.hacc
src/xbt/automaton/automaton_lexer.yy.c
set(generated_src_files
${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
src/xbt/automaton/parserPromela.tab.cacc
src/xbt/automaton/parserPromela.tab.hacc
src/xbt/automaton/automaton_lexer.yy.c