src/include/surf/trace_mgr.h
src/include/xbt/win32_ucontext.h
src/include/xbt/wine_dbghelp.h
- src/include/xbt/xbt_os_time.h
src/msg/msg_mailbox.h
src/msg/msg_private.h
src/portable.h
src/xbt/mallocator_private.h
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mm.c
- src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mm_legacy.c
src/xbt/mmalloc/mm_module.c
src/xbt/mmalloc/mmalloc.c
set(MC_SRC
src/mc/mc_checkpoint.c
+ src/mc/mc_diff.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_dwarf.c
include/xbt/sysdep.h
include/xbt/virtu.h
include/xbt/xbt_os_thread.h
+ include/xbt/xbt_os_time.h
)
set(source_of_generated_headers
include/simgrid_config.h.in