git: 6b1cc7d40727 - main - math/py-z3-solver: Update 4.8.10 -> 4.8.17

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=6b1cc7d40727c5060fcf0ff3082c1dffcc069288

commit 6b1cc7d40727c5060fcf0ff3082c1dffcc069288
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-05-11 05:39:28 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-05-11 06:21:10 +0000

    math/py-z3-solver: Update 4.8.10 -> 4.8.17
---
 math/py-z3-solver/Makefile | 7 +++++--
 math/py-z3-solver/distinfo | 6 +++---
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index 6136e24d2b5b..3426ee6af08a 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	z3-solver
 DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.8.10
+DISTVERSION=	4.8.17
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -17,11 +17,14 @@ BROKEN_i386=	can't create dynamic relocation R_386_32 against symbol: .L.str in
 
 # CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
 
+BUILD_DEPENDS=	cmake:devel/cmake
+
 USES=		compiler:c++11-lang python:3.6+
+USE_PYTHON=	distutils autoplist
+
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover
 GH_PROJECT=	z3
-USE_PYTHON=	distutils autoplist
 
 WRKSRC_SUBDIR=	src/api/python
 
diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo
index e6618644a546..575d20c355c6 100644
--- a/math/py-z3-solver/distinfo
+++ b/math/py-z3-solver/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1613365750
-SHA256 (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4
-SIZE (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 4731869
+TIMESTAMP = 1652241609
+SHA256 (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126
+SIZE (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 5232392