Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename remote/RemoteClient -> remote/RemoteClientMemory and remove networking...
[simgrid.git] / tools / cmake / DefinePackages.cmake
index b7bffa5bd1038dd47b45600ecf692c2d958d4217..00d134ed3b44e6f71a3849293e8840130b4b5a1c 100644 (file)
@@ -624,12 +624,14 @@ set(MC_SRC
   src/mc/inspect/mc_unw.cpp
   src/mc/inspect/mc_unw_vmread.cpp
 
+  src/mc/remote/AppSide.cpp
+  src/mc/remote/AppSide.hpp
   src/mc/remote/Channel.cpp
   src/mc/remote/Channel.hpp
-  src/mc/remote/Client.cpp
-  src/mc/remote/Client.hpp
-  src/mc/remote/RemoteClient.hpp
-  src/mc/remote/RemoteClient.cpp
+  src/mc/remote/CheckerSide.cpp
+  src/mc/remote/CheckerSide.hpp
+  src/mc/remote/RemoteClientMemory.hpp
+  src/mc/remote/RemoteClientMemory.cpp
   src/mc/remote/RemotePtr.hpp
   src/mc/remote/mc_protocol.h
   src/mc/remote/mc_protocol.cpp
@@ -656,7 +658,6 @@ set(MC_SRC
   src/mc/mc_hash.cpp
   src/mc/mc_ignore.hpp
   src/mc/mc_record.cpp
-  src/mc/mc_memory.cpp
   src/mc/mc_private.hpp
   src/mc/mc_request.hpp
   src/mc/mc_request.cpp