mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-11-24 04:37:20 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

[z3] Update to 4.13.2 (#41228)

Browse Source
This commit is contained in:
Bruce Mitchener 2024-09-30 22:54:13 +07:00 committed by GitHub
parent 18d47d787d
commit 3b7d84b77f
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
REPO Z3Prover/z3
REF z3-${VERSION}
SHA512 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
SHA512 211a855ad2313aacbef67ccad9e02f4d8012ce015880383faefaae2e78785efbc167634f6c272d844dd04ba36c55a25192cae74bfd0c75a32588672ac8516e09
HEAD_REF master
PATCHES
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)
-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
project(Z3 VERSION 4.13.0.0 LANGUAGES CXX)
project(Z3 VERSION 4.13.2.0 LANGUAGES CXX)
################################################################################

2
ports/z3/vcpkg.json
View File

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

2
versions/baseline.json
View File

@ -9845,7 +9845,7 @@
"port-version": 0
},
"z3": {
"baseline": "4.13.0",
"baseline": "4.13.2",
"port-version": 0
},
"z4kn4fein-semver": {

5
versions/z-/z3.json
View File

@ -1,5 +1,10 @@
{
"versions": [
{
"git-tree": "c5af85394b7d0da874517680ec668ca482f089d5",
"version": "4.13.2",
"port-version": 0
},
{
"git-tree": "6fa6c9e93ad1fe6f090260acfa7d42369d83ee0a",
"version": "4.13.0",