### define source packages
set(EXTRA_DIST
+ src/include/smpi/smpi_interface.h
src/include/instr/instr_interface.h
src/include/mc/datatypes.h
src/include/mc/mc.h
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
# 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