model-checker : stateless model checking for liveness properties

[simgrid.git] / examples / msg / chord / CMakeLists.txt

diff --git a/examples/msg/chord/CMakeLists.txt b/examples/msg/chord/CMakeLists.txt
index f64019f..91c86c5 100644 (file)
--- a/examples/msg/chord/CMakeLists.txt
+++ b/examples/msg/chord/CMakeLists.txt
@@ -3,7 +3,8 @@ cmake_minimum_required(VERSION 2.6)
 set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
 
 add_executable(chord "chord.c")
+add_executable(chord_stateful "chord_stateful.c")
 
 ### Add definitions for compile
 target_link_libraries(chord simgrid )
-
+target_link_libraries(chord_stateful simgrid)