src/smpi/smpi_mpi.c
src/smpi/smpi_mpi_dt.c
src/smpi/smpi_pmpi.c
+ src/smpi/smpi_replay.c
)
set(GRAS_RL_SRC
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
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}
)