X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c7576454747b226b96babe1fb769239059f74467..84e634fed3de105f1fe3e1e60000a64c93e9098b:/examples/msg/mc/CMakeLists.txt diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt index 2b05f76e93..2c16afb622 100644 --- a/examples/msg/mc/CMakeLists.txt +++ b/examples/msg/mc/CMakeLists.txt @@ -1,97 +1,35 @@ -cmake_minimum_required(VERSION 2.6) +foreach (x bugged1 bugged2 bugged3 centralized_mutex electric_fence bugged1_liveness bugged2_liveness) + if(SIMGRID_HAVE_MC) + add_executable (${x} ${x}.c) + target_link_libraries(${x} simgrid) + 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(HAVE_MC) -set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}") +if(SIMGRID_HAVE_MC) + if(HAVE_C_STACK_CLEANER) + add_executable (bugged1_liveness_cleaner_on 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_executable (bugged1_liveness_cleaner_off 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") + endif() +endif() -add_executable(centralized centralized_mutex.c) -add_executable(bugged1 bugged1.c) -add_executable(bugged1_stateful bugged1_stateful.c) -add_executable(bugged2_stateful bugged2_stateful.c) -add_executable(bugged2 bugged2.c) -add_executable(bugged3 bugged3.c) -add_executable(random_test random_test.c) -add_executable(bugged1_for_liveness automaton.c automatonparse_promela.c bugged1_for_liveness.c) -add_executable(bugged1_while_liveness automaton.c automatonparse_promela.c bugged1_while_liveness.c) -add_executable(bugged2_liveness automaton.c automatonparse_promela.c bugged2_liveness.c) -add_executable(centralized_liveness automaton.c automatonparse_promela.c centralized_liveness.c) -add_executable(centralized_liveness_deadlock automaton.c automatonparse_promela.c centralized_liveness_deadlock.c) -add_executable(test_snapshot automaton.c automatonparse_promela.c test_snapshot.c) - -target_link_libraries(centralized simgrid m ) -target_link_libraries(bugged1 simgrid m ) -target_link_libraries(bugged1_stateful simgrid m) -target_link_libraries(bugged2_stateful simgrid m) -target_link_libraries(bugged2 simgrid m ) -target_link_libraries(bugged3 simgrid m ) -target_link_libraries(random_test simgrid m ) -target_link_libraries(bugged1_for_liveness simgrid m ) -target_link_libraries(bugged1_while_liveness simgrid m ) -target_link_libraries(bugged2_liveness simgrid m ) -target_link_libraries(centralized_liveness simgrid m ) -target_link_libraries(centralized_liveness_deadlock simgrid m ) -target_link_libraries(test_snapshot simgrid m ) -endif(HAVE_MC) - -set(tesh_files - ${tesh_files} - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.tesh - ${CMAKE_CURRENT_SOURCE_DIR}/centralized.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_centralized_liveness.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_mutex.xml - ${CMAKE_CURRENT_SOURCE_DIR}/deploy_random_test.xml - ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml - PARENT_SCOPE -) -set(examples_src - ${examples_src} - ${CMAKE_CURRENT_SOURCE_DIR}/automaton.c - ${CMAKE_CURRENT_SOURCE_DIR}/automatonparse_promela.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_for_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_stateful.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_while_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_stateful.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged3.c - ${CMAKE_CURRENT_SOURCE_DIR}/centralized_liveness.c - ${CMAKE_CURRENT_SOURCE_DIR}/centralized_liveness_deadlock.c - ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c - ${CMAKE_CURRENT_SOURCE_DIR}/lex.yy.c - ${CMAKE_CURRENT_SOURCE_DIR}/random_test.c - ${CMAKE_CURRENT_SOURCE_DIR}/test_snapshot.c - ${CMAKE_CURRENT_SOURCE_DIR}/y.tab.c - ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/centralized_liveness.h - ${CMAKE_CURRENT_SOURCE_DIR}/test_snapshot.h - ${CMAKE_CURRENT_SOURCE_DIR}/y.tab.h - PARENT_SCOPE -) -set(bin_files - ${bin_files} - ${CMAKE_CURRENT_SOURCE_DIR}/dwarf - ${CMAKE_CURRENT_SOURCE_DIR}/parse_dwarf - ${CMAKE_CURRENT_SOURCE_DIR}/promela1_bugged1_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/promela2_bugged1_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/promela2_bugged2_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/promela2_centralized_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness - ${CMAKE_CURRENT_SOURCE_DIR}/promela_centralized_liveness - - 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} ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h + ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h 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)