[ci-skip] activate ccache on sanitizer builds

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 5be3136..a1b8d5a 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2284,6 +2284,7 @@ include src/mc/VisitedState.cpp
 include src/mc/VisitedState.hpp
 include src/mc/api.cpp
 include src/mc/api.hpp
+include src/mc/api/ActorState.hpp
 include src/mc/api/State.cpp
 include src/mc/api/State.hpp
 include src/mc/compare.cpp
@@ -2324,15 +2325,12 @@ include src/mc/mc_forward.hpp
 include src/mc/mc_global.cpp
 include src/mc/mc_hash.cpp
 include src/mc/mc_hash.hpp
-include src/mc/mc_ignore.hpp
 include src/mc/mc_mmu.hpp
-include src/mc/mc_pattern.hpp
 include src/mc/mc_private.hpp
 include src/mc/mc_record.cpp
 include src/mc/mc_record.hpp
 include src/mc/mc_replay.hpp
 include src/mc/mc_safety.hpp
-include src/mc/mc_smx.cpp
 include src/mc/remote/AppSide.cpp
 include src/mc/remote/AppSide.hpp
 include src/mc/remote/Channel.cpp
@@ -2657,6 +2655,7 @@ include src/xbt/memory_map.cpp
 include src/xbt/memory_map.hpp
 include src/xbt/mmalloc/mfree.c
 include src/xbt/mmalloc/mm.c
+include src/xbt/mmalloc/mm_interface.c
 include src/xbt/mmalloc/mm_legacy.c
 include src/xbt/mmalloc/mm_module.c
 include src/xbt/mmalloc/mmalloc.c