mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-05 02:49:48 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
30822b6c4c
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.0 (#37259) - [x] Changes comply with the [maintainer guide](https://github.com/microsoft/vcpkg-docs/blob/main/vcpkg/contributing/maintainer-guide.md). - [x] SHA512s are updated for each updated download. - [x] The "supports" clause reflects platforms that may be fixed by this new version. - [x] Any fixed [CI baseline](https://github.com/microsoft/vcpkg/blob/master/scripts/ci.baseline.txt) entries are removed from that file. - [x] Any patches that are no longer applied are deleted from the port's directory. - [x] The version database is fixed by rerunning `./vcpkg x-add-version --all` and committing the result. - [x] Only one version is added to each modified port's versions file.
2024-03-12 04:17:30 +08:00
SHA512 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
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