From a4cb027a5e25bde1188f792eddae290fd1d087bd Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 21 Jun 2012 18:53:30 +0200 Subject: [PATCH] model-checker : update name of generated_files --- buildtools/Cmake/DefinePackages.cmake | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 1dac7f2e9b..b81dcfedd2 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -832,9 +832,9 @@ set(PLATFORMS_EXAMPLES 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}) -- 2.20.1