X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8bcf7fd62bb1e2fa4ebb6430cad22cf24309fad6..fa0625d7ccfa7a3d0e1edfeca3f8ba3c4a5e918f:/examples/msg/mc/CMakeLists.txt diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt index d9765bcd1f..c97451b003 100644 --- a/examples/msg/mc/CMakeLists.txt +++ b/examples/msg/mc/CMakeLists.txt @@ -1,96 +1,37 @@ -cmake_minimum_required(VERSION 2.6) - -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) - add_executable(bugged2 bugged2.c) - add_executable(bugged3 bugged3.c) - add_executable(bugged1_liveness bugged1_liveness.c) - add_executable(bugged2_liveness bugged2_liveness.c) - add_executable(chord/chord_liveness chord/chord_liveness.c) - add_executable(test/snapshot_comparison1 test/snapshot_comparison1.c) - add_executable(test/snapshot_comparison2 test/snapshot_comparison2.c) - add_executable(test/snapshot_comparison3 test/snapshot_comparison3.c) - add_executable(test/snapshot_comparison4 test/snapshot_comparison4.c) - add_executable(test/snapshot_comparison5 test/snapshot_comparison5.c) - - target_link_libraries(centralized simgrid ) - target_link_libraries(bugged1 simgrid ) - target_link_libraries(bugged2 simgrid ) - target_link_libraries(bugged3 simgrid ) - target_link_libraries(bugged1_liveness simgrid ) - target_link_libraries(bugged2_liveness simgrid ) - target_link_libraries(chord/chord_liveness simgrid ) - target_link_libraries(test/snapshot_comparison1 simgrid ) - target_link_libraries(test/snapshot_comparison2 simgrid ) - target_link_libraries(test/snapshot_comparison3 simgrid ) - target_link_libraries(test/snapshot_comparison4 simgrid ) - target_link_libraries(test/snapshot_comparison5 simgrid ) +foreach (x bugged1 bugged2 bugged3 centralized_mutex electric_fence bugged1_liveness bugged2_liveness) + if(SIMGRID_HAVE_MC) + add_executable (${x} EXCLUDE_FROM_ALL ${x}.c) + target_link_libraries(${x} simgrid) + add_dependencies(tests ${x}) + endif() + set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${x}.c) + set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/deploy_${x}.xml) +endforeach() +if(SIMGRID_HAVE_MC) + if(HAVE_C_STACK_CLEANER) + add_executable (bugged1_liveness_cleaner_on EXCLUDE_FROM_ALL bugged1_liveness.c) + target_link_libraries(bugged1_liveness_cleaner_on simgrid) + set_target_properties(bugged1_liveness_cleaner_on PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fstack-cleaner") + add_dependencies(tests bugged1_liveness_cleaner_on) + + add_executable (bugged1_liveness_cleaner_off EXCLUDE_FROM_ALL bugged1_liveness.c) + target_link_libraries(bugged1_liveness_cleaner_off simgrid) + set_target_properties(bugged1_liveness_cleaner_off PROPERTIES COMPILE_FLAGS "-DGARBAGE_STACK -fno-stack-cleaner") + add_dependencies(tests bugged1_liveness_cleaner_off) + endif() endif() -set(tesh_files - ${tesh_files} - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_neverjoin.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison1.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison2.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison3.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison4.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison5.tesh - PARENT_SCOPE - ) -set(xml_files - ${xml_files} - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2_liveness.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged3.xml - ${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}/chord/deploy_chord_liveness.xml - ${CMAKE_CURRENT_SOURCE_DIR}/test/deploy_snapshot_comparison.xml - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison_platform.xml - PARENT_SCOPE - ) -set(examples_src - ${examples_src} - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged3.c - ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison1.c - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison2.c - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison3.c - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison4.c - ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison5.c - PARENT_SCOPE - ) -set(bin_files - ${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}/chord/promela_chord_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/test/promela - PARENT_SCOPE - ) -set(txt_files - ${txt_files} - PARENT_SCOPE - ) +set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_sparse.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_visited_sparse.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.tesh PARENT_SCOPE) +set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness_visited.xml + ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml PARENT_SCOPE) +set(examples_src ${examples_src} PARENT_SCOPE) +set(bin_files ${bin_files} ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness + ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness + ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_stack_cleaner PARENT_SCOPE)