Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5
[simgrid.git] / buildtools / Cmake / DefinePackages.cmake
index 1dac7f2..fb0eaa3 100644 (file)
@@ -588,7 +588,6 @@ set(DOC_SOURCES
 set(USER_GUIDE_SOURCES
   doc/user_guide/doxygen/install.doc
   doc/user_guide/doxygen/bindings.doc
-  doc/user_guide/doxygen/index-API.doc
   doc/user_guide/doxygen/options.doc
   doc/user_guide/doxygen/use.doc
   doc/user_guide/doxygen/tracing.doc
@@ -610,7 +609,6 @@ set(REF_GUIDE_SOURCES
   doc/ref_guide/doxygen/module-xbt.doc
   doc/ref_guide/doxygen/module-simix.doc
   doc/ref_guide/doxygen/module-trace.doc
-  doc/ref_guide/doxygen/index-API.doc
   doc/ref_guide/doxygen/main.doc
   doc/ref_guide/doxygen/RefGuideDoxyfile.in
   doc/ref_guide/doxygen/RefGuideDoxygenLayout.xml
@@ -832,9 +830,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})