From d8303a57360023593881a8c45c37709b4941f431 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 31 Jul 2022 00:22:41 +0200 Subject: [PATCH] MC: rename a file to sort out the mess --- MANIFEST.in | 3 ++- src/mc/{mc_pattern.hpp => api/ActorState.hpp} | 0 tools/cmake/DefinePackages.cmake | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) rename src/mc/{mc_pattern.hpp => api/ActorState.hpp} (100%) diff --git a/MANIFEST.in b/MANIFEST.in index cf536e284d..d9946cdc1a 100644 --- 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 @@ -2326,7 +2327,6 @@ 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 @@ -2656,6 +2656,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 diff --git a/src/mc/mc_pattern.hpp b/src/mc/api/ActorState.hpp similarity index 100% rename from src/mc/mc_pattern.hpp rename to src/mc/api/ActorState.hpp diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 38a8e2654e..f603a1cf67 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -642,6 +642,7 @@ set(MC_SRC src/mc/api.hpp src/mc/api/State.cpp src/mc/api/State.hpp + src/mc/api/ActorState.hpp src/mc/compare.cpp src/mc/mc_client_api.cpp src/mc/mc_exit.hpp @@ -649,7 +650,6 @@ set(MC_SRC src/mc/mc_hash.cpp src/mc/mc_hash.hpp src/mc/mc_ignore.hpp - src/mc/mc_pattern.hpp src/mc/mc_private.hpp src/mc/mc_record.cpp src/mc/mc_safety.hpp -- 2.20.1