Objectify Semaphore kernel counterpart

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 3c83780..2c34a08 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -408,6 +408,8 @@ set(SIMIX_SRC
   src/kernel/activity/MailboxImpl.hpp
   src/kernel/activity/MutexImpl.cpp
   src/kernel/activity/MutexImpl.hpp
+  src/kernel/activity/SemaphoreImpl.cpp
+  src/kernel/activity/SemaphoreImpl.hpp
   src/kernel/activity/SleepImpl.cpp
   src/kernel/activity/SleepImpl.hpp
   src/kernel/activity/SynchroRaw.cpp
@@ -1119,7 +1121,6 @@ set(PLATFORMS_EXAMPLES
   examples/platforms/profiles/link1_latency.profile
   examples/platforms/profiles/link3_state.profile
   examples/platforms/profiles/link4_state.profile
-  examples/platforms/profiles/linkBandwidth7.bw
   examples/platforms/profiles/trace_A_failure.txt
   examples/platforms/profiles/trace_A.txt
   examples/platforms/profiles/trace_B.txt
@@ -1158,7 +1159,7 @@ set(PLATFORMS_EXAMPLES
   examples/platforms/three_multicore_hosts.xml
   examples/platforms/two_hosts.xml
   examples/platforms/two_hosts_platform_shared.xml
-  examples/platforms/two_hosts_platform_with_availability.xml
+  examples/platforms/two_hosts_profiles.xml
   examples/platforms/two_hosts_platform_with_availability_included.xml
   examples/platforms/two_peers.xml
   examples/platforms/vivaldi.xml