3party/vcpkg
0
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2025-01-01 13:37:55 +08:00
Code Issues Projects Releases Wiki Activity
vcpkg/ports/z3/portfile.cmake

38 lines
1.0 KiB
CMake
Raw Normal View History

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 03:00:48 +00: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.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version
2022-04-19 12:29:01 -04:00
REF z3-4.8.15
SHA512 7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c
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 03:00:48 +00:00
HEAD_REF master
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version
2022-04-19 12:29:01 -04:00
PATCHES
fix-install-path.patch
remove-flag-overrides.patch
fix-32-bit-build.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 03:00:48 +00: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-12 19:07:16 -04: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 03:00:48 +00:00
endif()
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version
2022-04-19 12:29:01 -04:00
vcpkg_cmake_configure(
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 03:00:48 +00:00
SOURCE_PATH ${SOURCE_PATH}
OPTIONS
${BUILD_STATIC}
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version
2022-04-19 12:29:01 -04:00
-DZ3_BUILD_TEST_EXECUTABLES=OFF
-DZ3_ENABLE_EXAMPLE_TARGETS=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 03:00:48 +00:00
)
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version
2022-04-19 12:29:01 -04:00
vcpkg_cmake_install()
vcpkg_cmake_config_fixup(CONFIG_PATH lib/cmake/z3)
[z3]Fix install files path and add tools.
2019-05-21 04:31:25 +00: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 03:00:48 +00: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 03:00:48 +00: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)
[many ports] call vcpkg_fixup_pkgconfig() (#20953) * [many ports] call vcpkg_fixup_pkgconfig() The ports generate pc files, but don't call vcpkg_fixup_pkgconfig() so that there are absolute paths in the pc files * Update port-version for armadillo and polyclipping. * Update version database. Co-authored-by: Billy Robert O'Neal III <bion@microsoft.com>
2021-10-28 00:19:28 +02:00
vcpkg_fixup_pkgconfig()
Reference in New Issue Copy Permalink