model-checker : add comments for the example bugged2_liveness

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

diff --git a/examples/msg/icomms/CMakeLists.txt b/examples/msg/icomms/CMakeLists.txt
old mode 100755 (executable)
new mode 100644 (file)
index f3ec396..7a628bd
--- a/examples/msg/icomms/CMakeLists.txt
+++ b/examples/msg/icomms/CMakeLists.txt
@@ -1,6 +1,12 @@
 cmake_minimum_required(VERSION 2.6)
 
-set(EXECUTABLE_OUTPUT_PATH "${PROJECT_DIRECTORY}/examples/msg/irc_isend/")
+set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
 
 add_executable(peer peer.c)
-target_link_libraries(peer simgrid)
\ No newline at end of file
+target_link_libraries(peer simgrid)
+
+add_executable(peer2 peer2.c)
+target_link_libraries(peer2 simgrid)
+
+add_executable(peer3 peer3.c)
+target_link_libraries(peer3 simgrid)
\ No newline at end of file