cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update z3 to 4.8.16.

Browse Source 
OK op@
This commit is contained in:
fcambus 2022-05-05 08:27:13 +00:00
parent 2d2f4dd1e8
commit 0ba53d1871
3 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
math/z3/Makefile
View File

@ -1,6 +1,6 @@
COMMENT = Z3 theorem prover
VERSION = 4.8.9
VERSION = 4.8.16
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 2.2 # 4.8
SHARED_LIBS = z3 3.0 # 4.8
CATEGORIES = math

4
math/z3/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (z3-4.8.9.tar.gz) = yf0EubM750//qsPsK8LDINGkzDLjlSA8VRJrEqFP8/Q=
SIZE (z3-4.8.9.tar.gz) = 4624159
SHA256 (z3-4.8.16.tar.gz) = dfleCfPzX+90blcdXsiKTvuifxvI8aDvERcWdIbsPcY=
SIZE (z3-4.8.16.tar.gz) = 5223980

6
math/z3/patches/patch-scripts_mk_util_py
View File

@ -1,7 +1,7 @@
Index: scripts/mk_util.py
--- scripts/mk_util.py.orig
+++ scripts/mk_util.py
@@ -2478,7 +2478,6 @@ def mk_config():
@@ -2573,7 +2573,6 @@ def mk_config():
EXAMP_DEBUG_FLAG = '-g'
CPPFLAGS = '%s -DZ3DEBUG -D_DEBUG' % CPPFLAGS
else:
@ -9,7 +9,7 @@ Index: scripts/mk_util.py
if GPROF:
CXXFLAGS += '-fomit-frame-pointer'
CPPFLAGS = '%s -DNDEBUG -D_EXTERNAL_RELEASE' % CPPFLAGS
@@ -2491,7 +2490,7 @@ def mk_config():
@@ -2586,7 +2585,7 @@ def mk_config():
elif sysname == 'Linux':
CXXFLAGS = '%s -D_LINUX_' % CXXFLAGS
OS_DEFINES = '-D_LINUX_'
@ -18,7 +18,7 @@ Index: scripts/mk_util.py
SLIBFLAGS = '-shared'
SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so' % SLIBEXTRAFLAGS
elif sysname == 'GNU':
@@ -2528,9 +2527,9 @@ def mk_config():
@@ -2629,9 +2628,9 @@ def mk_config():
LIB_EXT = '.lib'
else:
raise MKException('Unsupported platform: %s' % sysname)