From 423df8c72d849057bd3c48317f36b357bcb450ba Mon Sep 17 00:00:00 2001
From: Eric Kilmer <eric.d.kilmer@gmail.com>
Date: Mon, 22 Aug 2022 09:14:35 -0700
Subject: [PATCH] [z3] Update to 4.11.0 (#26429)

* [z3] Update to 4.11.0

* Update version db
---
 ports/z3/portfile.cmake              | 4 ++--
 ports/z3/remove-flag-overrides.patch | 2 +-
 ports/z3/vcpkg.json                  | 2 +-
 versions/baseline.json               | 2 +-
 versions/z-/z3.json                  | 5 +++++
 5 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake
index 72300e5d09..d9558d75a1 100644
--- a/ports/z3/portfile.cmake
+++ b/ports/z3/portfile.cmake
@@ -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
diff --git a/ports/z3/remove-flag-overrides.patch b/ports/z3/remove-flag-overrides.patch
index ed4969f194..e7dbc81b0b 100644
--- a/ports/z3/remove-flag-overrides.patch
+++ b/ports/z3/remove-flag-overrides.patch
@@ -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)
  
  ################################################################################
diff --git a/ports/z3/vcpkg.json b/ports/z3/vcpkg.json
index 6709dea907..fad42df394 100644
--- a/ports/z3/vcpkg.json
+++ b/ports/z3/vcpkg.json
@@ -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",
diff --git a/versions/baseline.json b/versions/baseline.json
index ade0cd21c1..eeed4aadbc 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -7845,7 +7845,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.10.2",
+      "baseline": "4.11.0",
       "port-version": 0
     },
     "z85": {
diff --git a/versions/z-/z3.json b/versions/z-/z3.json
index 6abbd24502..a1cca9f3bc 100644
--- a/versions/z-/z3.json
+++ b/versions/z-/z3.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "4c57981e593026824fe9bedff234a82c13765e29",
+      "version": "4.11.0",
+      "port-version": 0
+    },
     {
       "git-tree": "aa0794e55ef223e835ae4dd228e3986d83be4843",
       "version": "4.10.2",