From 6d5873aa4cc1dd7736583962d858a4df4e87dabf Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 29 Sep 2014 16:25:28 +0200 Subject: [PATCH] 31e0f216b4 was sending some other executables to the wrong directory --- examples/smpi/CMakeLists.txt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/examples/smpi/CMakeLists.txt b/examples/smpi/CMakeLists.txt index 4b94226acb..c067e74d61 100644 --- a/examples/smpi/CMakeLists.txt +++ b/examples/smpi/CMakeLists.txt @@ -26,8 +26,6 @@ if(enable_smpi) target_link_libraries(smpi_replay simgrid) if(HAVE_MC) - SET(EXECUTABLE_OUTPUT_PATH "./mc/") - add_executable(smpi_bugged1 mc/bugged1.c) add_executable(smpi_bugged2 mc/bugged2.c) add_executable(smpi_bugged1_liveness mc/bugged1_liveness.c) @@ -41,6 +39,14 @@ if(enable_smpi) target_link_libraries(smpi_send_deterministic simgrid) target_link_libraries(smpi_non_deterministic simgrid) target_link_libraries(smpi_mutual_exclusion simgrid) + + set_target_properties(smpi_bugged1 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") + set_target_properties(smpi_bugged2 PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") + set_target_properties(smpi_bugged1_liveness PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") + set_target_properties(smpi_send_deterministic PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") + set_target_properties(smpi_non_deterministic PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") + set_target_properties(smpi_mutual_exclusion PROPERTIES RUNTIME_OUTPUT_DIRECTORY "./mc") + endif() endif() -- 2.20.1