model-checker : update example bugged1_liveness (variable for each task created and...

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

diff --git a/examples/msg/sendrecv/CMakeLists.txt b/examples/msg/sendrecv/CMakeLists.txt
index 73ac8874ba6e9adce8e7fa05a690d89b6b4b355a..cca117221adebf6b9d662096d3d525fb9edce15e 100644 (file)
--- a/examples/msg/sendrecv/CMakeLists.txt
+++ b/examples/msg/sendrecv/CMakeLists.txt
@@ -6,3 +6,32 @@ add_executable(sendrecv sendrecv.c)
 
 ### Add definitions for compile
 target_link_libraries(sendrecv simgrid m )
+
+set(tesh_files
+  ${tesh_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/sendrecv_CLM03.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/sendrecv_KCCFLN05.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/sendrecv_Reno.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/sendrecv_Vegas.tesh
+  PARENT_SCOPE
+  )
+set(xml_files
+  ${xml_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/deployment_sendrecv.xml
+  ${CMAKE_CURRENT_SOURCE_DIR}/platform_sendrecv.xml
+  PARENT_SCOPE
+  )
+set(examples_src
+  ${examples_src}
+  ${CMAKE_CURRENT_SOURCE_DIR}/sendrecv.c
+  PARENT_SCOPE
+  )
+set(bin_files
+  ${bin_files}
+  PARENT_SCOPE
+  )
+set(txt_files
+  ${txt_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/README
+  PARENT_SCOPE
+  )