diff --git a/math/z3/Makefile b/math/z3/Makefile
index ef4734375840..b54939bfc937 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,45 +1,45 @@
 PORTNAME=	z3
 DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.8.17
+DISTVERSION=	4.10.2
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	Z3 Theorem Prover
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 USES=		compiler:c++11-lang python:build
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover
 
 HAS_CONFIGURE=		yes
 CONFIGURE_ARGS=		--prefix=${PREFIX}
 USE_LDCONFIG=		yes
 
 OPTIONS_DEFINE=		DEBUG STATIC GMP
 
 OPTIONS_SUB=		yes
 
 DEBUG_CONFIGURE_ON=	--debug
 DEBUG_VARS=		with_debug=yes
 
 STATIC_DESC=		Build static z3 library
 STATIC_CONFIGURE_ON=	--staticlib
 
 GMP_DESC=		Use GMP library for AP arithmetic
 GMP_CONFIGURE_ON=	--gmp
 GMP_USES=		localbase:ldflags
 GMP_LIB_DEPENDS=	libgmp.so:math/gmp
 
 CXXFLAGS_powerpc=	-fPIC
 LDFLAGS_i386=		-Wl,-znotext
 BUILD_WRKSRC=		${WRKSRC}/build
 INSTALL_WRKSRC=		${WRKSRC}/build
 
 post-install:
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/z3
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libz3.so
 	${LN} -s libz3.so ${STAGEDIR}${PREFIX}/lib/libz3.so.0
 
 .include <bsd.port.mk>
diff --git a/math/z3/distinfo b/math/z3/distinfo
index d1a05ca2b821..c1d82694683f 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1653058564
-SHA256 (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126
-SIZE (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 5232392
+TIMESTAMP = 1660222509
+SHA256 (Z3Prover-z3-z3-4.10.2_GH0.tar.gz) = 889fd035b833775c8cd2eb4723eb011bf916a3e9bf08ce66b31c548acee7a321
+SIZE (Z3Prover-z3-z3-4.10.2_GH0.tar.gz) = 5367336
diff --git a/math/z3/files/patch-scripts_mk__util.py b/math/z3/files/patch-scripts_mk__util.py
index 0d3cfd52b146..0671d536e16e 100644
--- a/math/z3/files/patch-scripts_mk__util.py
+++ b/math/z3/files/patch-scripts_mk__util.py
@@ -1,22 +1,13 @@
 --- scripts/mk_util.py.orig	2022-05-05 00:16:30 UTC
 +++ scripts/mk_util.py
 @@ -2543,8 +2543,8 @@ def mk_config():
          check_ar()
          CXX = find_cxx_compiler()
          CC  = find_c_compiler()
 -        SLIBEXTRAFLAGS = ''
 -#       SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS
 +#       SLIBEXTRAFLAGS = ''
 +        SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS
          EXE_EXT = ''
          LIB_EXT = '.a'
          if GPROF:
-@@ -2632,7 +2632,7 @@ def mk_config():
-         if is64():
-             if not sysname.startswith('CYGWIN') and not sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
-                 CXXFLAGS     = '%s -fPIC' % CXXFLAGS
--            if sysname == 'Linux':
-+            if sysname == 'Linux' or sysname == 'FreeBSD':
-                 CPPFLAGS = '%s -D_USE_THREAD_LOCAL' % CPPFLAGS
-         elif not LINUX_X64:
-             CXXFLAGS     = '%s -m32' % CXXFLAGS