From c4afc3f492de44e0577fffafb7ec4e98fb220122 Mon Sep 17 00:00:00 2001
From: Hennadii Chernyshchyk <genaloner@gmail.com>
Date: Thu, 27 Jan 2022 01:31:17 +0200
Subject: [PATCH] [z3] Update to 4.8.14 (#22687)

* [z3] Update to 4.8.14

* [z3] Add license

* [z3] Update versions
---
 ports/z3/portfile.cmake | 4 ++--
 ports/z3/vcpkg.json     | 4 ++--
 versions/baseline.json  | 4 ++--
 versions/z-/z3.json     | 5 +++++
 4 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake
index 85f1c3142f..2641de8202 100644
--- a/ports/z3/portfile.cmake
+++ b/ports/z3/portfile.cmake
@@ -5,8 +5,8 @@ vcpkg_add_to_path("${PYTHON2_DIR}")
 vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
-  REF z3-4.8.12
-  SHA512 0B377923BDAFFACA1846AA2ABD61003BBECADFCDFC908ED3097D0AAC8F32028AC39D93FB4A9C2E2C2BFFFBDBEE80AA415875F17DE6C2EE2AE8E2B7921F788C6E
+  REF z3-4.8.14
+  SHA512 10170516CA472258D2F9DF28CD036E43023A76A25F1E1670290C62F3890D935BF82770970054A5FD3A0F02559409E7ED4B18FB08347C040FF2F9E0918E152AAB
   HEAD_REF master
   PATCHES fix-install-path.patch
 )
diff --git a/ports/z3/vcpkg.json b/ports/z3/vcpkg.json
index 07697f0b3d..ba3f5ed5e4 100644
--- a/ports/z3/vcpkg.json
+++ b/ports/z3/vcpkg.json
@@ -1,8 +1,8 @@
 {
   "name": "z3",
-  "version": "4.8.12",
-  "port-version": 2,
+  "version": "4.8.14",
   "description": "Z3 is a theorem prover from Microsoft Research",
   "homepage": "https://github.com/Z3Prover/z3",
+  "license": "MIT",
   "supports": "!uwp"
 }
diff --git a/versions/baseline.json b/versions/baseline.json
index aa9ec370d7..7995de056b 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -7493,8 +7493,8 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.8.12",
-      "port-version": 2
+      "baseline": "4.8.14",
+      "port-version": 0
     },
     "z85": {
       "baseline": "1.0",
diff --git a/versions/z-/z3.json b/versions/z-/z3.json
index 75d9cf1a3a..f04b7bd925 100644
--- a/versions/z-/z3.json
+++ b/versions/z-/z3.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "78366a5b407998768b97ddee528306cf9cbe9847",
+      "version": "4.8.14",
+      "port-version": 0
+    },
     {
       "git-tree": "eb7c4238f0496b64a6527fd4b07dd753f31a1975",
       "version": "4.8.12",