+ set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
+
+ add_executable(centralized centralized_mutex.c)
+ add_executable(bugged1 bugged1.c)
+ add_executable(bugged2 bugged2.c)
+ add_executable(bugged3 bugged3.c)
+ add_executable(electric_fence electric_fence.c)
+ add_executable(bugged1_liveness bugged1_liveness.c)
+ add_executable(bugged2_liveness bugged2_liveness.c)
+
+ target_link_libraries(centralized simgrid )
+ target_link_libraries(bugged1 simgrid )
+ target_link_libraries(bugged2 simgrid )
+ target_link_libraries(bugged3 simgrid )
+ target_link_libraries(electric_fence simgrid )
+ target_link_libraries(bugged1_liveness simgrid )
+ target_link_libraries(bugged2_liveness simgrid )
+
+ if(HAVE_C_STACK_CLEANER)
+ add_executable(bugged1_liveness_cleaner_on bugged1_liveness.c )
+ add_executable(bugged1_liveness_cleaner_off bugged1_liveness.c )