Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of https://framagit.org/simgrid/simgrid
[simgrid.git] / tools / cmake / DefinePackages.cmake
index 6cc2d4c..1703fe0 100644 (file)
@@ -616,6 +616,10 @@ set(MC_SRC
   src/mc/mc_private.hpp
   src/mc/mc_record.cpp
 
+  src/mc/api/guide/BasicGuide.hpp
+  src/mc/api/guide/GuidedState.hpp
+  src/mc/api/guide/WaitGuide.hpp
+  
   src/xbt/mmalloc/mm_interface.c
   )