src/msg/msg_vm.c
)
+set(PLATFGEN_SRC
+ include/simgrid/platf_generator.h
+ src/surf/platf_generator.c
+ src/surf/platf_generator_private.h
+ )
+
set(SIMDAG_SRC
src/simdag/sd_daxloader.c
src/simdag/sd_global.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
src/instr/instr_paje_types.c
src/instr/instr_paje_values.c
src/instr/instr_private.h
include/simdag/simdag.h
include/simgrid/modelchecker.h
include/simgrid/platf.h
+ include/simgrid/platf_generator.h
include/simgrid/simix.h
include/smpi/mpi.h
include/smpi/mpif.h
${SIMDAG_SRC}
${SIMIX_SRC}
${SURF_SRC}
+ ${PLATFGEN_SRC}
${TRACING_SRC}
${XBT_SRC}
)