Date: Thu, 11 Aug 2022 13:10:37 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 5d994f9380b3 - main - math/z3: Update to 4.10.2 Message-ID: <202208111310.27BDAb3j090632@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202208111310.27BDAb3j090632>