Date: Mon, 16 Feb 2026 19:07:59 +0000 From: =?utf-8?Q?=C3=84lven?= <alven@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: d314c06ee7c0 - main - math/z3: Update 4.15.3 => 4.15.4 Message-ID: <69936b0f.3ce43.749bcb22@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by alven: URL: https://cgit.FreeBSD.org/ports/commit/?id=d314c06ee7c0b23a2b6e661a7c8ec97f1fcad848 commit d314c06ee7c0b23a2b6e661a7c8ec97f1fcad848 Author: Älven <alven@FreeBSD.org> AuthorDate: 2025-10-30 18:33:26 +0000 Commit: Älven <alven@FreeBSD.org> CommitDate: 2026-02-16 19:07:43 +0000 math/z3: Update 4.15.3 => 4.15.4 Changelogs: * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4154 * https://github.com/Z3Prover/z3/compare/z3-4.15.3...z3-4.15.4 * Add WWW for main site * Use dynamic SOVERSION for pkg-plist Approved by: haskell@ (alven@, arrowd@) Approved by: db@, yuri@ (Mentors, implicit) Differential Revision: https://reviews.freebsd.org/D53474 --- math/z3/Makefile | 7 +++++-- math/z3/distinfo | 6 +++--- math/z3/pkg-plist | 2 +- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index 566e16cba61a..80f5d84c73e8 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,12 +1,13 @@ PORTNAME= z3 -DISTVERSION= 4.15.3.0 +DISTVERSION= 4.15.4.0 CATEGORIES= math MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/ DISTNAME= ${PORTNAME}_solver-${DISTVERSION} MAINTAINER= arrowd@FreeBSD.org COMMENT= Z3 Theorem Prover -WWW= https://github.com/Z3Prover/z3 +WWW= https://z3prover.github.io/ \ + https://github.com/Z3Prover/z3/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt @@ -18,6 +19,8 @@ CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS WRKSRC_SUBDIR= core +PLIST_SUB= SOVERSION=${DISTVERSION} + OPTIONS_DEFINE= GMP OPTIONS_SUB= yes diff --git a/math/z3/distinfo b/math/z3/distinfo index 11399b5e4a29..031749424d75 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1758463427 -SHA256 (z3_solver-4.15.3.0.tar.gz) = 78f69aebda5519bfd8af146a129f36cf4721a3c2667e80d9fe35cc9bb4d214a6 -SIZE (z3_solver-4.15.3.0.tar.gz) = 4985945 +TIMESTAMP = 1761831549 +SHA256 (z3_solver-4.15.4.0.tar.gz) = 928c29b58c4eb62106da51c1914f6a4a55d0441f8f48a81b9da07950434a8946 +SIZE (z3_solver-4.15.4.0.tar.gz) = 5018600 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 1aa3d23cb8c4..c50928af5df1 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -19,5 +19,5 @@ lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/z3/Z3Targets.cmake lib/libz3.so lib/libz3.so.4.15 -lib/libz3.so.4.15.3.0 +lib/libz3.so.%%SOVERSION%% libdata/pkgconfig/z3.pchome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69936b0f.3ce43.749bcb22>