set(PLATFGEN_SRC
include/simgrid/platf_generator.h
src/surf/platf_generator.c
+ src/surf/platf_generator_private.h
)
set(SIMDAG_SRC
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
set(MC_SRC
src/mc/mc_checkpoint.c
+ src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c