set(MSG_SRC
src/msg/instr_msg_process.c
src/msg/instr_msg_task.c
+ src/msg/instr_msg_vm.c
src/msg/msg_actions.c
src/msg/msg_deployment.c
src/msg/msg_environment.c
set(TRACING_SRC
src/instr/instr_config.c
src/instr/instr_interface.c
- src/instr/instr_msg_process.c
- src/instr/instr_msg_vm.c
- src/instr/instr_msg_task.c
src/instr/instr_paje_containers.c
src/instr/instr_paje_trace.c
src/instr/instr_paje_header.c
# these files get copied automatically to the html documentation
set(DOC_IMG
${CMAKE_HOME_DIRECTORY}/doc/simgrid.css
+ ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif