Rename mc::RemoteSimulation into mc::RemoteProcess

[simgrid.git] / tools / cmake / DefinePackages.cmake

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index bb78652..f3969f4 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -573,15 +573,15 @@ set(JEDULE_SRC
 
 set(MC_SRC_BASE
   src/mc/mc_base.cpp
-  src/mc/mc_base.h
+  src/mc/mc_base.hpp
   src/mc/mc_record.hpp
   src/mc/mc_replay.hpp
   src/mc/mc_record.cpp
   src/mc/mc_config.cpp
   src/mc/mc_config.hpp
   src/mc/mc_global.cpp
-  src/mc/checker/SimcallInspector.cpp
-  src/mc/checker/SimcallInspector.hpp
+  src/mc/checker/SimcallObserver.cpp
+  src/mc/checker/SimcallObserver.hpp
   )
 
 set(MC_SRC
@@ -620,8 +620,8 @@ set(MC_SRC
   src/mc/remote/Channel.hpp
   src/mc/remote/CheckerSide.cpp
   src/mc/remote/CheckerSide.hpp
-  src/mc/remote/RemoteSimulation.hpp
-  src/mc/remote/RemoteSimulation.cpp
+  src/mc/remote/RemoteProcess.hpp
+  src/mc/remote/RemoteProcess.cpp
   src/mc/remote/RemotePtr.hpp
   src/mc/remote/mc_protocol.h
 
@@ -658,7 +658,6 @@ set(MC_SRC
   src/mc/VisitedState.cpp
   src/mc/VisitedState.hpp
   src/mc/mc_client_api.cpp
-  src/mc/mc_smx.hpp
   src/mc/mc_smx.cpp
   src/mc/mc_exit.hpp
   src/mc/Transition.hpp
@@ -917,21 +916,21 @@ set(DOC_SOURCES
   docs/source/The_XBT_toolbox.rst
   docs/source/community.rst
   docs/source/Configuring_SimGrid.rst
-  docs/source/Deploying_your_Application.rst
-  docs/source/Experimental_Setup.rst
+  docs/source/Deploying_your_application.rst
+  docs/source/Experimental_setup.rst
   docs/source/index.rst
   docs/source/Introduction.rst
   docs/source/Installing_SimGrid.rst
-  docs/source/Start_Your_Own_Project.rst
-  docs/source/models.rst
-  docs/source/ns3.rst
-  docs/source/outcomes.rst
-  docs/source/platform.rst
-  docs/source/Platform_Examples.rst
-  docs/source/platform_howtos.rst
-  docs/source/Platform_Routing.rst
+  docs/source/Start_your_own_project.rst
+  docs/source/Models.rst
+  docs/source/Outcomes.rst
+  docs/source/Platform.rst
+  docs/source/Platform_examples.rst
+  docs/source/Platform_howtos.rst
+  docs/source/Platform_routing.rst
   docs/source/Plugins.rst
-  docs/source/XML_Reference.rst
+  docs/source/XML_reference.rst
+  docs/source/Design_goals.rst
 
   docs/source/Tutorial_Algorithms.rst
   docs/source/tuto_s4u/deployment1.xml