git: adb4321eb496 - main - math/z3: Update to 4.8.13
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 14 Dec 2021 16:56:30 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=adb4321eb496d394fe1ee7a1f3868a5c89f91f1a
commit adb4321eb496d394fe1ee7a1f3868a5c89f91f1a
Author: Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2021-12-14 16:53:59 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2021-12-14 16:55:56 +0000
math/z3: Update to 4.8.13
Disable STATIC option by default.
---
math/z3/Makefile | 3 +--
math/z3/distinfo | 6 +++---
2 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/math/z3/Makefile b/math/z3/Makefile
index 7e4d6165beae..ff476bdc1dff 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,6 +1,6 @@
PORTNAME= z3
DISTVERSIONPREFIX= z3-
-DISTVERSION= 4.8.12
+DISTVERSION= 4.8.13
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org
@@ -19,7 +19,6 @@ USE_LDCONFIG= yes
OPTIONS_DEFINE= DEBUG STATIC GMP
-OPTIONS_DEFAULT= STATIC
OPTIONS_SUB= yes
DEBUG_CONFIGURE_ON= --debug
diff --git a/math/z3/distinfo b/math/z3/distinfo
index caab8424e15f..aaa11d1eb67b 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1635100958
-SHA256 (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7
-SIZE (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = 4803435
+TIMESTAMP = 1639500301
+SHA256 (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 59a0b35711fa7ae48dd535116d2067a6a16955fcbf2623c516a3f630cd2832d8
+SIZE (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 5103999