set(SIMIX_GENERATED_SRC src/simix/popping_generated.cpp )
set(SIMIX_SRC
+ src/kernel/future.cpp
src/simix/libsmx.cpp
src/simix/smx_context.cpp
src/simix/Context.cpp
include/xbt/dynar.h
include/xbt/dynar.hpp
include/xbt/ex.h
+ include/xbt/ex.hpp
include/xbt/exception.hpp
include/xbt/backtrace.h
include/xbt/backtrace.hpp