3party/vcpkg
0
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2025-01-15 15:18:02 +08:00
Code Issues Projects Releases Wiki Activity

[z3] update to 4.12.5 (#36365)

Browse Source
This commit is contained in:
Bruce Mitchener 2024-01-26 01:56:28 +07:00 committed by GitHub
parent cf20e29526
commit 2a4dbff654
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
5 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ports/z3/portfile.cmake
View File

@ -6,7 +6,7 @@ vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH OUT_SOURCE_PATH SOURCE_PATH
REPO Z3Prover/z3 REPO Z3Prover/z3
REF z3-${VERSION} REF z3-${VERSION}
SHA512 fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b SHA512 b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
HEAD_REF master HEAD_REF master
PATCHES PATCHES
fix-install-path.patch fix-install-path.patch

2
ports/z3/remove-flag-overrides.patch
View File

@ -7,6 +7,6 @@ index 477410ba8..fcca03917 100644
cmake_minimum_required(VERSION 3.16) cmake_minimum_required(VERSION 3.16)
-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake") -set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
project(Z3 VERSION 4.12.4.0 LANGUAGES CXX) project(Z3 VERSION 4.12.5.0 LANGUAGES CXX)
################################################################################ ################################################################################

2
ports/z3/vcpkg.json
View File

@ -1,6 +1,6 @@
{ {
"name": "z3", "name": "z3",
"version": "4.12.4", "version": "4.12.5",
"description": "Z3 is a theorem prover from Microsoft Research", "description": "Z3 is a theorem prover from Microsoft Research",
"homepage": "https://github.com/Z3Prover/z3", "homepage": "https://github.com/Z3Prover/z3",
"license": "MIT", "license": "MIT",

2
versions/baseline.json
View File

@ -9429,7 +9429,7 @@
"port-version": 0 "port-version": 0
}, },
"z3": { "z3": {
"baseline": "4.12.4", "baseline": "4.12.5",
"port-version": 0 "port-version": 0
}, },
"z4kn4fein-semver": { "z4kn4fein-semver": {

5
versions/z-/z3.json
View File

@ -1,5 +1,10 @@
{ {
"versions": [ "versions": [
{
"git-tree": "294ec73e2b15fd55e0ac922bcaffad517366dbba",
"version": "4.12.5",
"port-version": 0
},
{ {
"git-tree": "98aa7c18e339247b197bab014d1a52310ba39a7a", "git-tree": "98aa7c18e339247b197bab014d1a52310ba39a7a",
"version": "4.12.4", "version": "4.12.4",