sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 17:59:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/z3: Update to 4.8.6.

Browse source
This commit is contained in:
Gleb Popov 2019-09-21 20:32:14 +00:00
parent 01b8e1ec14
commit 3925a8a047
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=512541
3 changed files with 9 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
math/z3/Makefile
View file

@ -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

6
math/z3/distinfo
View file

@ -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

15
math/z3/files/patch-scripts_mk__util.py
View file

@ -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'