[mc] Use C++ containers for visited_states

[simgrid.git] / teshsuite / mc / replay / CMakeLists.txt

diff --git a/teshsuite/mc/replay/CMakeLists.txt b/teshsuite/mc/replay/CMakeLists.txt
index d875af7..3b2d79a 100644 (file)
--- a/teshsuite/mc/replay/CMakeLists.txt
+++ b/teshsuite/mc/replay/CMakeLists.txt
@@ -1,15 +1,6 @@
-cmake_minimum_required(VERSION 2.6)
-
-set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
-add_executable(random_bug random_bug.c)
+add_executable       (random_bug random_bug.c)
 target_link_libraries(random_bug simgrid)
 
-set(tesh_files
-  ${tesh_files}
-  PARENT_SCOPE
-  )
-set(testsuite_src
-  ${testsuite_src}
-  ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.c
-  PARENT_SCOPE
-  )
+set(tesh_files     ${tesh_files}     ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.tesh
+                                     ${CMAKE_CURRENT_SOURCE_DIR}/random_bug_replay.tesh  PARENT_SCOPE)
+set(testsuite_src  ${testsuite_src}  ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.c            PARENT_SCOPE)