src/xbt/xbt_os_time.c
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
- src/xbt/xbt_virtu.c
+ src/xbt/xbt_virtu.cpp
src/xbt_modinter.h
)
set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp)
set(headers_to_install
- include/simgrid_config.h
include/simgrid/actor.h
include/simgrid/barrier.h
include/simgrid/engine.h
docs/source/platform.rst
docs/source/platform_howtos.rst
docs/source/Platform_Examples.rst
+ docs/source/Plugins.rst
docs/source/XML_Reference.rst
docs/source/Tutorial_Algorithms.rst