set(EXTRA_DIST
include/xbt/win32_ucontext.h
+ src/bindings/java/MANIFEST.MF
src/include/instr/instr_interface.h
src/include/mc/datatypes.h
src/include/mc/mc.h
)
set(EXAMPLES_CMAKEFILES_TXT
+ examples/java/bittorrent/CMakeLists.txt
examples/lua/CMakeLists.txt
examples/msg/CMakeLists.txt
examples/msg/actions/CMakeLists.txt