- 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
+ COMMENT "Generating automaton source files"
+ COMMAND ${BISON_EXE} --name-prefix=xbt_automaton_parser_ -d parserPromela.yacc
+ COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex