set(EXTRA_DIST
src/bindings/java/MANIFEST.in
- src/include/instr/instr_interface.h
+ src/include/instr/instr_interface.hpp
src/include/mc/datatypes.h
src/include/mc/mc.h
src/include/simgrid/sg_config.hpp
src/simix/popping.cpp
src/kernel/activity/ActivityImpl.cpp
src/kernel/activity/ActivityImpl.hpp
+ src/kernel/activity/ConditionVariableImpl.cpp
+ src/kernel/activity/ConditionVariableImpl.hpp
src/kernel/activity/CommImpl.cpp
src/kernel/activity/CommImpl.hpp
src/kernel/activity/ExecImpl.cpp
src/mc/mc_dwarf_tagnames.cpp
src/mc/mc_hash.hpp
src/mc/mc_hash.cpp
- src/mc/mc_ignore.h
+ src/mc/mc_ignore.hpp
src/mc/LocationList.hpp
src/mc/LocationList.cpp
src/mc/mc_record.cpp