X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/de2ba1766285962d449105925be099707e0102e6..68be5601ff3ff82d68ac0368fbe2f003f9da9143:/examples/msg/mc/CMakeLists.txt diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt index f0102a72fd..7f08a4c91e 100644 --- a/examples/msg/mc/CMakeLists.txt +++ b/examples/msg/mc/CMakeLists.txt @@ -4,6 +4,7 @@ if(HAVE_MC) set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}") file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/test/") + file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/chord/") add_executable(centralized centralized_mutex.c) add_executable(bugged1 bugged1.c) @@ -12,7 +13,7 @@ if(HAVE_MC) add_executable(random_test random_test.c) add_executable(bugged1_liveness bugged1_liveness.c) add_executable(bugged2_liveness bugged2_liveness.c) - add_executable(chord_liveness chord_liveness.c) + add_executable(chord/chord_liveness chord/chord_liveness.c) add_executable(test/snapshot_comparison_liveness1 test/snapshot_comparison_liveness1.c) add_executable(test/snapshot_comparison_liveness2 test/snapshot_comparison_liveness2.c) add_executable(test/snapshot_comparison_liveness3 test/snapshot_comparison_liveness3.c) @@ -26,7 +27,7 @@ if(HAVE_MC) target_link_libraries(random_test simgrid m ) target_link_libraries(bugged1_liveness simgrid m ) target_link_libraries(bugged2_liveness simgrid m ) - target_link_libraries(chord_liveness simgrid m ) + target_link_libraries(chord/chord_liveness simgrid m ) target_link_libraries(test/snapshot_comparison_liveness1 simgrid m ) target_link_libraries(test/snapshot_comparison_liveness2 simgrid m ) target_link_libraries(test/snapshot_comparison_liveness3 simgrid m ) @@ -52,7 +53,7 @@ set(xml_files ${CMAKE_CURRENT_SOURCE_DIR}/deploy_mutex.xml ${CMAKE_CURRENT_SOURCE_DIR}/deploy_random_test.xml ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_chord_liveness.xml + ${CMAKE_CURRENT_SOURCE_DIR}/chord/deploy_chord_liveness.xml ${CMAKE_CURRENT_SOURCE_DIR}/test/deploy_snapshot_comparison.xml PARENT_SCOPE ) @@ -67,8 +68,8 @@ set(examples_src ${CMAKE_CURRENT_SOURCE_DIR}/random_test.c ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/chord_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/chord_liveness.h + ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.c + ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.h ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison_liveness1.c ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison_liveness2.c ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison_liveness3.c @@ -81,7 +82,7 @@ set(bin_files ${CMAKE_CURRENT_SOURCE_DIR}/parse_dwarf ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/promela_chord_liveness + ${CMAKE_CURRENT_SOURCE_DIR}/chord/promela_chord_liveness ${CMAKE_CURRENT_SOURCE_DIR}/test/promela PARENT_SCOPE )