diff options
Diffstat (limited to '')
| -rw-r--r-- | math/z3/Makefile | 5 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 | ||||
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 15 |
3 files changed, 9 insertions, 17 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 1a06e66f605f..b282af1ba3be 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,9 +1,8 @@ # $FreeBSD$ PORTNAME= z3 -DISTVERSIONPREFIX= Z3- -DISTVERSION= 4.8.5 -PORTREVISION= 1 +DISTVERSIONPREFIX= z3- +DISTVERSION= 4.8.6 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index f5a044831af1..c4c69cf4ef16 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1561572798 -SHA256 (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 -SIZE (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4177051 +TIMESTAMP = 1569096483 +SHA256 (Z3Prover-z3-z3-4.8.6_GH0.tar.gz) = 37922fa5085170cad6504498d9758fb63c61d5cb5b68689c11a6c5e84f0311b3 +SIZE (Z3Prover-z3-z3-4.8.6_GH0.tar.gz) = 4328752 diff --git a/math/z3/files/patch-scripts_mk__util.py b/math/z3/files/patch-scripts_mk__util.py index a79dec34b59e..43e8bd1f6537 100644 --- a/math/z3/files/patch-scripts_mk__util.py +++ b/math/z3/files/patch-scripts_mk__util.py @@ -1,19 +1,12 @@ ---- scripts/mk_util.py.orig 2017-12-18 14:18:30 UTC +--- scripts/mk_util.py.orig 2019-09-19 23:43:06 UTC +++ scripts/mk_util.py -@@ -49,7 +49,7 @@ C_COMPILERS=['gcc', 'clang'] - CSC_COMPILERS=['csc', 'mcs'] - JAVAC=None - JAR=None --PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib() -+PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib(prefix=getenv("PREFIX", None)) - BUILD_DIR='build' - REV_BUILD_DIR='..' - SRC_DIR='src' -@@ -2441,7 +2441,7 @@ def mk_config(): +@@ -2508,8 +2508,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' |