diff options
| author | JackBoosY <yuzaiyang@beyondsoft.com> | 2019-05-23 02:43:48 +0000 |
|---|---|---|
| committer | JackBoosY <yuzaiyang@beyondsoft.com> | 2019-05-23 02:45:01 +0000 |
| commit | 976744ba21eccea7b8dad35f0209a8a7f1025485 (patch) | |
| tree | 79a491880fcaecd1bfd0579803968a689320f320 | |
| parent | 7bd2e96ada69a407921eb900259190f363a6fcc2 (diff) | |
| download | vcpkg-976744ba21eccea7b8dad35f0209a8a7f1025485.tar.gz vcpkg-976744ba21eccea7b8dad35f0209a8a7f1025485.zip | |
[z3]Replace the file command with vcpkg_fixup_cmake_targets.
| -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) |