COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex
WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
)
COMMAND ${LEX_EXE} --prefix=xbt_automaton_parser_ --outfile=automaton_lexer.yy.c parserPromela.lex
WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/src/xbt/automaton/
)