From 8617866c2448c54d230cf677c99339b02f9e2e45 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 11 Oct 2024 21:32:15 +0700
Subject: [PATCH] [z3] Update to 4.13.3 (#41485)

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

diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake
index c66a98df9f..1cf656d78d 100644
--- a/ports/z3/portfile.cmake
+++ b/ports/z3/portfile.cmake
@@ -6,7 +6,7 @@ vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
   REF z3-${VERSION}
-  SHA512 211a855ad2313aacbef67ccad9e02f4d8012ce015880383faefaae2e78785efbc167634f6c272d844dd04ba36c55a25192cae74bfd0c75a32588672ac8516e09
+  SHA512 c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e
   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 5b7e6471a1..1b185e23b9 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.16)
 
 -set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
- project(Z3 VERSION 4.13.2.0 LANGUAGES CXX)
+ project(Z3 VERSION 4.13.3.0 LANGUAGES CXX)
 
  ################################################################################
diff --git a/ports/z3/vcpkg.json b/ports/z3/vcpkg.json
index 0e3fcba962..90b8f7d842 100644
--- a/ports/z3/vcpkg.json
+++ b/ports/z3/vcpkg.json
@@ -1,6 +1,6 @@
 {
   "name": "z3",
-  "version": "4.13.2",
+  "version": "4.13.3",
   "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 bd1e5d4e57..614bd502b7 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -9841,7 +9841,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.13.2",
+      "baseline": "4.13.3",
       "port-version": 0
     },
     "z4kn4fein-semver": {
diff --git a/versions/z-/z3.json b/versions/z-/z3.json
index a1b9ddfbe3..00b28f8c05 100644
--- a/versions/z-/z3.json
+++ b/versions/z-/z3.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "fa6e8dad748704ecd2b0f6f6a914a6d7530f91fb",
+      "version": "4.13.3",
+      "port-version": 0
+    },
     {
       "git-tree": "c5af85394b7d0da874517680ec668ca482f089d5",
       "version": "4.13.2",