git: 3c05ad1d2a4f - main - math/z3: Update 4.14.1.0 => 4.15.3.0

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3c05ad1d2a4f802511dc5c626b12f582d7ed9f4d

commit 3c05ad1d2a4f802511dc5c626b12f582d7ed9f4d
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-09-21 14:35:29 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-09-21 17:39:34 +0000

    math/z3: Update 4.14.1.0 => 4.15.3.0
    
    Changelogs:
    * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153
    * https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3
    
    * Pet portfmt(1) and portlint(1)
    
    Approved by:    arrowd (maintainer)
    Approved by:    yuri@  (Mentor)
    
    Differential Revision: https://reviews.freebsd.org/D52659
---
 cad/PrusaSlicer/Makefile   |  2 +-
 math/py-z3-solver/Makefile |  1 +
 math/vampire/Makefile      |  1 +
 math/z3/Makefile           | 10 +++++-----
 math/z3/distinfo           |  6 +++---
 math/z3/pkg-plist          |  4 ++--
 security/py-angr/Makefile  |  2 +-
 sysutils/triton/Makefile   |  1 +
 8 files changed, 15 insertions(+), 12 deletions(-)

diff --git a/cad/PrusaSlicer/Makefile b/cad/PrusaSlicer/Makefile
index b9336618cecf..8af495340343 100644
--- a/cad/PrusaSlicer/Makefile
+++ b/cad/PrusaSlicer/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	PrusaSlicer
 DISTVERSIONPREFIX=version_
 DISTVERSION=	2.9.2
-PORTREVISION=	5
+PORTREVISION=	6
 CATEGORIES=	cad
 DIST_SUBDIR=	PrusaSlicer
 
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index c1f93f9bc0ff..6ff394bc5c6c 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	z3-solver
 DISTVERSIONPREFIX=	z3-
 DISTVERSION=	4.14.1
+PORTREVISION=	1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index 0e148e9c4baf..bd6a6f5b6a6e 100644
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	vampire
 DISTVERSIONPREFIX=	v
 DISTVERSION=	4.9casc2024
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/z3/Makefile b/math/z3/Makefile
index 63d368089c33..566e16cba61a 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	z3
-DISTVERSION=	4.14.1.0
+DISTVERSION=	4.15.3.0
 CATEGORIES=	math
 MASTER_SITES=	https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
 DISTNAME=	${PORTNAME}_solver-${DISTVERSION}
@@ -13,15 +13,15 @@ LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 USES=		cmake compiler:c++20-lang localbase:ldflags
 
-WRKSRC_SUBDIR=	core
-
-CMAKE_OFF=	Z3_ENABLE_EXAMPLE_TARGETS
 CMAKE_ARGS=	-DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig
+CMAKE_OFF=	Z3_ENABLE_EXAMPLE_TARGETS
+
+WRKSRC_SUBDIR=	core
 
 OPTIONS_DEFINE=	GMP
 OPTIONS_SUB=	yes
 
-GMP_CMAKE_BOOL=		Z3_USE_LIB_GMP
 GMP_LIB_DEPENDS=	libgmp.so:math/gmp
+GMP_CMAKE_BOOL=		Z3_USE_LIB_GMP
 
 .include <bsd.port.mk>
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 13cb429023d9..11399b5e4a29 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1742299618
-SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
-SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426
+TIMESTAMP = 1758463427
+SHA256 (z3_solver-4.15.3.0.tar.gz) = 78f69aebda5519bfd8af146a129f36cf4721a3c2667e80d9fe35cc9bb4d214a6
+SIZE (z3_solver-4.15.3.0.tar.gz) = 4985945
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist
index 31b2e987ef5e..1aa3d23cb8c4 100644
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -18,6 +18,6 @@ lib/cmake/z3/Z3ConfigVersion.cmake
 lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/z3/Z3Targets.cmake
 lib/libz3.so
-lib/libz3.so.4.14
-lib/libz3.so.4.14.1.0
+lib/libz3.so.4.15
+lib/libz3.so.4.15.3.0
 libdata/pkgconfig/z3.pc
diff --git a/security/py-angr/Makefile b/security/py-angr/Makefile
index 7a3aace13fe1..2cb0f358578f 100644
--- a/security/py-angr/Makefile
+++ b/security/py-angr/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	angr
 DISTVERSIONPREFIX=	v
 DISTVERSION=	${ANGR_VERSION}
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	security devel python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
diff --git a/sysutils/triton/Makefile b/sysutils/triton/Makefile
index 2744fbc43fc6..0198246bdbf3 100644
--- a/sysutils/triton/Makefile
+++ b/sysutils/triton/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	triton
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.9-597
+PORTREVISION=	1
 DISTVERSIONSUFFIX=	-gafb28564
 CATEGORIES=	sysutils