From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 21 Jun 2012 16:53:30 +0000 (+0200)
Subject: model-checker : update name of generated_files
X-Git-Tag: v3_8~501
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a4cb027a5e25bde1188f792eddae290fd1d087bd?hp=a6359db0b32323f058d74abd07c8d9b810282234

model-checker : update name of generated_files
---

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})