git: 5d994f9380b3 - main - math/z3: Update to 4.10.2

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=5d994f9380b3dd04f869aa6a040d1f4179e50396

commit 5d994f9380b3dd04f869aa6a040d1f4179e50396
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2022-08-11 13:09:06 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2022-08-11 13:10:18 +0000

    math/z3: Update to 4.10.2
---
 math/z3/Makefile                        | 2 +-
 math/z3/distinfo                        | 6 +++---
 math/z3/files/patch-scripts_mk__util.py | 9 ---------
 3 files changed, 4 insertions(+), 13 deletions(-)

diff --git a/math/z3/Makefile b/math/z3/Makefile
index ef4734375840..b54939bfc937 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	z3
 DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.8.17
+DISTVERSION=	4.10.2
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
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
@@ -11,12 +11,3 @@
          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