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

[z3] Update to 4.11.0 (#26429)

Browse Source 
* [z3] Update to 4.11.0

* Update version db
This commit is contained in:
Eric Kilmer 2022-08-22 09:14:35 -07:00 committed by GitHub
parent c56324dddf
commit 423df8c72d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ports/z3/portfile.cmake
View File

@ -5,8 +5,8 @@ vcpkg_add_to_path("${PYTHON3_DIR}")
vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO Z3Prover/z3
REF z3-4.10.2
SHA512 d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
REF z3-4.11.0
SHA512 a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
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.4)
-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
project(Z3 VERSION 4.10.2.0 LANGUAGES CXX)
project(Z3 VERSION 4.11.0.0 LANGUAGES CXX)
################################################################################

2
ports/z3/vcpkg.json
View File

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

2
versions/baseline.json
View File

@ -7845,7 +7845,7 @@
"port-version": 0
},
"z3": {
"baseline": "4.10.2",
"baseline": "4.11.0",
"port-version": 0
},
"z85": {

5
versions/z-/z3.json
View File

@ -1,5 +1,10 @@
{
"versions": [
{
"git-tree": "4c57981e593026824fe9bedff234a82c13765e29",
"version": "4.11.0",
"port-version": 0
},
{
"git-tree": "aa0794e55ef223e835ae4dd228e3986d83be4843",
"version": "4.10.2",