From bb9cd5dd49a9bdb2d3a1443c7630cc9e29bdd9d2 Mon Sep 17 00:00:00 2001 From: "Andrew V. Jones" Date: Thu, 4 Jun 2020 23:04:01 +0100 Subject: [PATCH] Ensure that the 'OUTPUT' locations in CMake for Python examples is accurate (#4499) Signed-off-by: Andrew V. Jones --- examples/python/CMakeLists.txt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/examples/python/CMakeLists.txt b/examples/python/CMakeLists.txt index dc4b62279..deb51d2ab 100644 --- a/examples/python/CMakeLists.txt +++ b/examples/python/CMakeLists.txt @@ -13,17 +13,18 @@ set(z3py_bindings_build_dest "${PROJECT_BINARY_DIR}/python") set(build_z3_python_examples_target_depends "") foreach (example_file ${python_example_files}) - add_custom_command(OUTPUT "${z3py_bindings_build_dest}/${example_file}" + get_filename_component(example_file_name "${example_file}" NAME) + add_custom_command(OUTPUT "${z3py_bindings_build_dest}/${example_file_name}" COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${CMAKE_CURRENT_SOURCE_DIR}/${example_file}" # We flatten the hierarchy so that all python files have # the `z3` directory in their directory so that their import # statements "just work". - "${z3py_bindings_build_dest}/" + "${z3py_bindings_build_dest}/${example_file_name}" DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/${example_file}" - COMMENT "Copying \"${example_file}\" to ${z3py_bindings_build_dest}/${example_file}" + COMMENT "Copying \"${example_file}\" to ${z3py_bindings_build_dest}/${example_file_name}" ) - list(APPEND build_z3_python_examples_target_depends "${z3py_bindings_build_dest}/${example_file}") + list(APPEND build_z3_python_examples_target_depends "${z3py_bindings_build_dest}/${example_file_name}") endforeach() add_custom_target(build_z3_python_examples