mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-11-28 14:09:01 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
75b6191dff
vcpkg/ports/z3/portfile.cmake

34 lines
942 B
CMake
Raw Normal View History

[z3] Update to 4.8.10 to support arm triplet (#18104) * [z3] Update to 4.8.10 to support arm triplet * update version record
2021-06-02 03:14:39 +08:00
vcpkg_fail_port_install(ON_TARGET "UWP")
add Z3 package (#5564) * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
2019-03-09 11:00:48 +08:00
vcpkg_find_acquire_program(PYTHON2)
get_filename_component(PYTHON2_DIR "${PYTHON2}" DIRECTORY)
vcpkg_add_to_path("${PYTHON2_DIR}")
vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO Z3Prover/z3
[z3] Update to 4.8.12 (#20348) * Update z3 to 4.8.12 * Update CI baseline * Change version-semver to version * Update git-tree hash * Update z3.json Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-09-28 11:51:56 +08:00
REF z3-4.8.12
SHA512 0B377923BDAFFACA1846AA2ABD61003BBECADFCDFC908ED3097D0AAC8F32028AC39D93FB4A9C2E2C2BFFFBDBEE80AA415875F17DE6C2EE2AE8E2B7921F788C6E
add Z3 package (#5564) * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
2019-03-09 11:00:48 +08:00
HEAD_REF master
[z3] Update to 4.8.10 to support arm triplet (#18104) * [z3] Update to 4.8.10 to support arm triplet * update version record
2021-06-02 03:14:39 +08:00
PATCHES fix-install-path.patch
add Z3 package (#5564) * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
2019-03-09 11:00:48 +08:00
)
if (VCPKG_LIBRARY_LINKAGE STREQUAL "static")
[z3] update port to 4.8.8 (#11314) * [z3] update port to 4.8.8 * update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
2020-05-13 07:07:16 +08:00
set(BUILD_STATIC "-DZ3_BUILD_LIBZ3_SHARED=OFF")
add Z3 package (#5564) * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
2019-03-09 11:00:48 +08:00
endif()
vcpkg_configure_cmake(
SOURCE_PATH ${SOURCE_PATH}
PREFER_NINJA
OPTIONS
${BUILD_STATIC}
)
[z3]Fix install files path and add tools.
2019-05-21 12:31:25 +08:00
vcpkg_install_cmake()
[z3] Update to 4.8.6 (#8899) * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`.
2019-11-23 06:55:05 +08:00
vcpkg_fixup_cmake_targets(CONFIG_PATH lib/cmake/z3 TARGET_PATH share/Z3)
[z3]Fix install files path and add tools.
2019-05-21 12:31:25 +08:00
vcpkg_copy_pdbs()
add Z3 package (#5564) * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
2019-03-09 11:00:48 +08:00
[z3] Update to 4.8.10 to support arm triplet (#18104) * [z3] Update to 4.8.10 to support arm triplet * update version record
2021-06-02 03:14:39 +08:00
file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
add Z3 package (#5564) * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP
2019-03-09 11:00:48 +08:00
[z3] Update to 4.8.10 to support arm triplet (#18104) * [z3] Update to 4.8.10 to support arm triplet * update version record
2021-06-02 03:14:39 +08:00
file(INSTALL "${SOURCE_PATH}/LICENSE.txt" DESTINATION "${CURRENT_PACKAGES_DIR}/share/${PORT}" RENAME copyright)
Reference in New Issue Copy Permalink