[z3] Update to 4.8.14 (microsoft#22687)

* [z3] Update to 4.8.14 * [z3] Add license * [z3] Update versions
Hoikas · Jan 26, 2022 · c4afc3f · c4afc3f
1 parent 1d7af6c
commit c4afc3f
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "78366a5b407998768b97ddee528306cf9cbe9847",
+      "version": "4.8.14",
+      "port-version": 0
+    },
     {
       "git-tree": "eb7c4238f0496b64a6527fd4b07dd753f31a1975",
       "version": "4.8.12",