src/include/surf/maxmin.h
src/include/surf/random_mgr.h
src/include/surf/surf.h
- src/include/surf/surf_resource.h
- src/include/surf/surf_resource_lmm.h
src/include/surf/surfxml_parse_values.h
src/include/surf/trace_mgr.h
src/include/xbt/win32_ucontext.h
set(SIMGRID_SRC
src/simgrid/sg_config.c
+ src/simgrid/util.hpp
)
set(MSG_SRC