Simple update z3 to 4.12.1. User tests and feedback are welcome. OK?
Cheers Rafael
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.29
diff -u -p -u -p -r1.29 Makefile
--- Makefile 13 Nov 2022 15:28:46 -0000 1.29
+++ Makefile 5 Feb 2023 16:56:00 -0000
@@ -1,6 +1,6 @@
COMMENT = Z3 theorem prover
-VERSION = 4.10.2
+VERSION = 4.12.1
GH_ACCOUNT = Z3Prover
GH_PROJECT = z3
@@ -8,9 +8,8 @@ GH_TAGNAME = ${GH_PROJECT}-${VERSION}
DISTNAME = ${GH_TAGNAME}
PKGNAME = ${DISTNAME:L}
-REVISION = 0
-SHARED_LIBS = z3 3.2 # 4.10
+SHARED_LIBS = z3 4.0 # 4.10
CATEGORIES = math
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/z3/distinfo,v
retrieving revision 1.12
diff -u -p -u -p -r1.12 distinfo
--- distinfo 17 Aug 2022 21:59:48 -0000 1.12
+++ distinfo 5 Feb 2023 16:56:00 -0000
@@ -1,2 +1,2 @@
-SHA256 (z3-4.10.2.tar.gz) = iJ/QNbgzd1yM0utHI+sBG/kWo+m/CM5msxxUis7noyE=
-SIZE (z3-4.10.2.tar.gz) = 5367336
+SHA256 (z3-4.12.1.tar.gz) = o3Nfq/AOE0GtzHA5SZPAX9PirhZ6Ppu0YEXjMITrZKM=
+SIZE (z3-4.12.1.tar.gz) = 5470095
Index: patches/patch-scripts_mk_util_py
===================================================================
RCS file: /cvs/ports/math/z3/patches/patch-scripts_mk_util_py,v
retrieving revision 1.9
diff -u -p -u -p -r1.9 patch-scripts_mk_util_py
--- patches/patch-scripts_mk_util_py 17 Aug 2022 21:59:48 -0000 1.9
+++ patches/patch-scripts_mk_util_py 5 Feb 2023 16:56:00 -0000
@@ -1,7 +1,7 @@
Index: scripts/mk_util.py
--- scripts/mk_util.py.orig
+++ scripts/mk_util.py
-@@ -2580,7 +2580,6 @@ def mk_config():
+@@ -2607,7 +2607,6 @@ def mk_config():
EXAMP_DEBUG_FLAG = '-g'
CPPFLAGS = '%s -DZ3DEBUG -D_DEBUG' % CPPFLAGS
else:
@@ -9,24 +9,24 @@ Index: scripts/mk_util.py
if GPROF:
CXXFLAGS += '-fomit-frame-pointer'
CPPFLAGS = '%s -DNDEBUG -D_EXTERNAL_RELEASE' % CPPFLAGS
-@@ -2593,7 +2592,7 @@ def mk_config():
- elif sysname == 'Linux':
- CXXFLAGS = '%s -D_LINUX_' % CXXFLAGS
- OS_DEFINES = '-D_LINUX_'
+@@ -2632,7 +2631,7 @@ def mk_config():
+ SO_EXT = '.so'
+ SLIBFLAGS = '-shared'
+ elif sysname == 'OpenBSD':
- SO_EXT = '.so'
+ SO_EXT = '.so.${LIBz3_VERSION}'
SLIBFLAGS = '-shared'
- SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so' % SLIBEXTRAFLAGS
- elif sysname == 'GNU':
-@@ -2637,9 +2636,9 @@ def mk_config():
+ elif sysname == 'SunOS':
+ SO_EXT = '.so'
+@@ -2648,9 +2647,8 @@ def mk_config():
LIB_EXT = '.lib'
else:
raise MKException('Unsupported platform: %s' % sysname)
-+ if not sysname.startswith('CYGWIN') and not
sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
-+ CXXFLAGS = '%s -fPIC' % CXXFLAGS
- if is64():
+- if is64():
- if not sysname.startswith('CYGWIN') and not
sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
- CXXFLAGS = '%s -fPIC' % CXXFLAGS
- if sysname == 'Linux' or sysname == 'FreeBSD':
- CPPFLAGS = '%s -D_USE_THREAD_LOCAL' % CPPFLAGS
++ if not sysname.startswith('CYGWIN') and not
sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
++ CXXFLAGS = '%s -fPIC' % CXXFLAGS
elif not LINUX_X64:
+ CXXFLAGS = '%s -m32' % CXXFLAGS
+ LDFLAGS = '%s -m32' % LDFLAGS
