From b831247337b1c921ab1fa6145d0bcc3f8de8ec22 Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Tue, 8 Mar 2016 14:17:31 +0100 Subject: [PATCH] always include mc sources --- examples/smpi/CMakeLists.txt | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/examples/smpi/CMakeLists.txt b/examples/smpi/CMakeLists.txt index cd06554358..64ad1c7d6a 100644 --- a/examples/smpi/CMakeLists.txt +++ b/examples/smpi/CMakeLists.txt @@ -19,14 +19,17 @@ if(enable_smpi) add_executable (smpi_replay replay/replay.c) target_link_libraries(smpi_replay simgrid) - if(HAVE_MC) - foreach(x bugged1 bugged2 bugged1_liveness only_send_deterministic mutual_exclusion non_termination1 - non_termination2 non_termination3 non_termination4) - add_executable (smpi_${x} mc/${x}.c) + foreach(x bugged1 bugged2 bugged1_liveness only_send_deterministic mutual_exclusion non_termination1 + non_termination2 non_termination3 non_termination4) + if(HAVE_MC) + add_executable (smpi_${x} ${CMAKE_CURRENT_SOURCE_DIR}/mc/${x}.c) target_link_libraries(smpi_${x} simgrid) set_target_properties(smpi_${x} PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") - set(examples_src ${examples_src} mc/${x}.c) - endforeach() + endif() + set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/mc/${x}.c) + endforeach() + + if(HAVE_MC) ADD_TESH(smpi-mc-only-send-determinism -setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/mc --cd ${CMAKE_BINARY_DIR}/examples/smpi/mc ${CMAKE_HOME_DIRECTORY}/examples/smpi/mc/only_send_deterministic.tesh) endif() -- 2.20.1