mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-14 18:59:01 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
1b6d94e0d3
vcpkg/ports/z3/portfile.cmake

37 lines
1004 B
CMake
Raw Normal View History

[z3] Update to 4.8.16 (#24407) * [z3] Update to 4.8.16 * Use Python3 instead of Python2 Python2 is EOL and the build script works with Python3, so we should prefer Python3 * Update version
2022-04-27 10:24:59 +08:00
vcpkg_find_acquire_program(PYTHON3)
get_filename_component(PYTHON3_DIR "${PYTHON3}" DIRECTORY)
vcpkg_add_to_path("${PYTHON3_DIR}")
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_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO Z3Prover/z3
[z3] Update to 4.12.4. (#35655)
2023-12-14 15:19:47 +08:00
REF z3-${VERSION}
[z3] Update to 4.13.3 (#41485)
2024-10-11 22:32:15 +08:00
SHA512 c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e
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.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-20 00:29:01 +08:00
PATCHES
fix-install-path.patch
remove-flag-overrides.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()
[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-20 00:29:01 +08: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 11:00:48 +08: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-20 00:29:01 +08: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 11:00:48 +08: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-20 00:29:01 +08:00
vcpkg_cmake_install()
vcpkg_cmake_config_fixup(CONFIG_PATH lib/cmake/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)
[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 06:19:28 +08:00
vcpkg_fixup_pkgconfig()
Reference in New Issue Copy Permalink