include/xbt/function_types.h
include/xbt/asserts.h
include/xbt/automaton.h
- include/xbt/automatonparse_promela.h
include/xbt/ex.h
include/xbt/log.h
include/xbt/module.h
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
doc/user_guide/doxygen/pls.doc
- doc/user_guide/doxygen/index.doc
- doc/user_guide/doxygen/logcategories.doc
+ doc/user_guide/doxygen/index.doc
doc/user_guide/doxygen/modules.doc
doc/user_guide/doxygen/platform.doc
doc/user_guide/doxygen/UserGuideDoxyfile.in
)
set(REF_GUIDE_SOURCES
- doc/ref_guide/doxygen/logcategories.doc
doc/ref_guide/doxygen/module-amok.doc
doc/ref_guide/doxygen/module-gras.doc
doc/ref_guide/doxygen/module-msg.doc
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
buildtools/Cmake/MaintainerMode.cmake
buildtools/Cmake/Supernovae.cmake
buildtools/Cmake/Pipol.cmake
+ buildtools/Cmake/GenerateDoc.cmake
+ buildtools/Cmake/GenerateDocWin.cmake
buildtools/Cmake/GenerateUserGuide.cmake
buildtools/Cmake/GenerateRefGuide.cmake
buildtools/Cmake/test_prog/prog_getline.c
buildtools/Cmake/Modules/FindGraphviz.cmake
buildtools/Cmake/Modules/FindValgrind.cmake
buildtools/Cmake/Modules/FindRngStream.cmake
- buildtools/Cmake/GenerateDocWin.cmake
buildtools/Cmake/MakeExe.cmake
buildtools/Cmake/PrintArgs.cmake
buildtools/Cmake/MakeLib.cmake
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})