set(EXTRA_DIST
src/bindings/java/MANIFEST.in
- src/include/instr/instr_interface.hpp
src/include/mc/datatypes.h
src/include/mc/mc.h
src/include/simgrid/sg_config.hpp
src/surf/cpu_cas01.cpp
src/surf/cpu_interface.cpp
src/surf/cpu_ti.cpp
- src/surf/instr_routing.cpp
- src/surf/instr_surf.cpp
src/surf/network_cm02.cpp
src/surf/network_constant.cpp
src/surf/network_interface.cpp
set(SIMGRID_SRC
src/simgrid/sg_config.cpp
- src/simgrid/host.cpp
src/simgrid/util.hpp
)
set(MSG_SRC
src/msg/instr_msg_process.cpp
src/msg/instr_msg_task.cpp
- src/msg/msg_deployment.cpp
- src/msg/msg_environment.cpp
src/msg/msg_global.cpp
src/msg/msg_gos.cpp
src/msg/msg_legacy.cpp
src/instr/instr_paje_types.hpp
src/instr/instr_paje_values.cpp
src/instr/instr_paje_values.hpp
+ src/instr/instr_platform.cpp
src/instr/instr_private.hpp
src/instr/instr_smpi.hpp
src/instr/instr_resource_utilization.cpp
set(headers_to_install
include/simgrid/actor.h
+ include/simgrid/engine.h
include/simgrid/chrono.hpp
include/simgrid/plugins/dvfs.h
include/simgrid/plugins/energy.h