temp

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index dd75728..9efb8bf 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -590,8 +590,8 @@ set(MC_SRC_BASE
   )
 
 set(MC_SRC
-  src/mc/mc_address_space.h
-  src/mc/mc_address_space.cpp
+  src/mc/AddressSpace.hpp
+  src/mc/AddressSpace.cpp
   src/mc/mc_forward.h
   src/mc/mc_process.h
   src/mc/mc_process.cpp
@@ -649,6 +649,8 @@ set(MC_SRC
   src/mc/mc_server.h
   src/mc/mc_smx.h
   src/mc/mc_smx.cpp
+  src/mc/mc_xbt.hpp
+  src/mc/mc_xbt.cpp
   )
 
 set(MC_SIMGRID_MC_SRC