[mc] Don't leave model-checked processes around

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

diff --git a/examples/msg/migration/CMakeLists.txt b/examples/msg/migration/CMakeLists.txt
index 5335fa7..fbb9b8c 100644 (file)
--- a/examples/msg/migration/CMakeLists.txt
+++ b/examples/msg/migration/CMakeLists.txt
@@ -1,8 +1,15 @@
-cmake_minimum_required(VERSION 2.6)
+add_executable       (migration migration.c)
+target_link_libraries(migration simgrid)
 
-set(EXECUTABLE_OUTPUT_PATH "${PROJECT_DIRECTORY}/examples/msg/migration/")
-
-add_executable(migration migration.c)
-
-### Add definitions for compile
-target_link_libraries(migration simgrid m -fprofile-arcs)
+set(tesh_files
+  ${tesh_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/migration.tesh
+  PARENT_SCOPE)
+set(examples_src
+  ${examples_src}
+  ${CMAKE_CURRENT_SOURCE_DIR}/migration.c
+  PARENT_SCOPE)
+set(bin_files
+  ${bin_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/migration.deploy
+  PARENT_SCOPE)