diff options
| -rw-r--r-- | ports/z3/portfile.cmake | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake index 7014c2369..ea27a5bd9 100644 --- a/ports/z3/portfile.cmake +++ b/ports/z3/portfile.cmake @@ -35,10 +35,9 @@ vcpkg_configure_cmake( ) vcpkg_install_cmake() +vcpkg_fixup_cmake_targets(CONFIG_PATH share/z3 TARGET_PATH share/z3) vcpkg_copy_pdbs() -file(COPY ${CURRENT_PACKAGES_DIR}/debug/share/z3/Z3Targets-debug.cmake DESTINATION ${CURRENT_PACKAGES_DIR}/share/z3) file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include) -file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/share) file(INSTALL ${SOURCE_PATH}/LICENSE.txt DESTINATION ${CURRENT_PACKAGES_DIR}/share/z3 RENAME copyright) |