src/xbt/xbt_sg_stubs.c
)
+set(SIMIX_GENERATED_SRC
+ src/simix/simcalls_generated_case.c
+ )
set(SIMIX_SRC
src/simix/smx_context.c
src/simix/smx_context_base.c
src/simix/smx_synchro.c
src/simix/smx_user.c
src/simix/smx_vm.c
+ ${SIMIX_GENERATED_SRC}
)
set(SIMGRID_SRC
src/mc/mc_global.c
src/mc/mc_hash.c
src/mc/mc_ignore.c
+ src/mc/mc_interface.h
src/mc/mc_liveness.c
src/mc/mc_member.c
src/mc/mc_memory.c