D53474.diff
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

D53474.diff
View Options

	diff --git a/math/z3/Makefile b/math/z3/Makefile
	--- 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 @@

	WRKSRC_SUBDIR= core

	+PLIST_SUB= SOVERSION=${DISTVERSION}
	+
	OPTIONS_DEFINE= GMP
	OPTIONS_SUB= yes

	diff --git a/math/z3/distinfo b/math/z3/distinfo
	--- 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
	--- a/math/z3/pkg-plist
	+++ b/math/z3/pkg-plist
	@@ -19,5 +19,5 @@
	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.pc