-
-set(generated_src_files
- src/xbt/automaton/automaton_lexer.yy.c
- src/xbt/automaton/parserPromela.tab.cacc
- src/xbt/automaton/parserPromela.tab.hacc
- )
-
-foreach(file ${generated_src_files})
- set_source_files_properties(${file} PROPERTIES GENERATED true)
-endforeach(file ${generated_src_files})