)
set(KERNEL_SRC
- src/deprecated.cpp
-
src/kernel/EngineImpl.cpp
src/kernel/EngineImpl.hpp
include/simgrid/mailbox.h
include/simgrid/modelchecker.h
include/simgrid/forward.h
- include/simgrid/simix.h
include/simgrid/simix.hpp
include/simgrid/kernel/ProfileBuilder.hpp
include/simgrid/kernel/Timer.hpp