svn commit: r449291 - in head/math/z3: . files
Joseph Mingrone
jrm at FreeBSD.org
Tue Sep 5 15:26:56 UTC 2017
Author: jrm
Date: Tue Sep 5 15:26:54 2017
New Revision: 449291
URL: https://svnweb.freebsd.org/changeset/ports/449291
Log:
math/z3: Patch to add SONAME to shared library
Also ensure that python is available at build time when the PYTHON option
(for python bindings) is off.
PR: 221321
Submitted by: 6yearold at gmail.com (maintainer)
Modified:
head/math/z3/Makefile
head/math/z3/files/patch-scripts_mk__util.py (contents, props changed)
Modified: head/math/z3/Makefile
==============================================================================
--- head/math/z3/Makefile Tue Sep 5 15:26:44 2017 (r449290)
+++ head/math/z3/Makefile Tue Sep 5 15:26:54 2017 (r449291)
@@ -1,8 +1,9 @@
# $FreeBSD$
PORTNAME= z3
-PORTVERSION= 4.5.0
DISTVERSIONPREFIX= ${PORTNAME}-
+DISTVERSION= 4.5.0
+PORTREVISION= 1
CATEGORIES= math
MAINTAINER= 6yearold at gmail.com
@@ -25,9 +26,10 @@ OPTIONS_SUB= yes
DEBUG_CONFIGURE_ON= --debug
-PYTHON_DESC= Enable python bindings
+PYTHON_DESC= Enable python bindings
PYTHON_CONFIGURE_ON= --python
PYTHON_USES= python
+PYTHON_USES_OFF= python:build
STATIC_DESC= Build static z3 library
STATIC_CONFIGURE_ON= --staticlib
Modified: head/math/z3/files/patch-scripts_mk__util.py
==============================================================================
--- head/math/z3/files/patch-scripts_mk__util.py Tue Sep 5 15:26:44 2017 (r449290)
+++ head/math/z3/files/patch-scripts_mk__util.py Tue Sep 5 15:26:54 2017 (r449291)
@@ -14,7 +14,7 @@
CXX = find_cxx_compiler()
CC = find_c_compiler()
- SLIBEXTRAFLAGS = ''
-+ SLIBEXTRAFLAGS = LDFLAGS
++ SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS
if GPROF:
CXXFLAGS = '%s -pg' % CXXFLAGS
LDFLAGS = '%s -pg' % LDFLAGS
More information about the svn-ports-all
mailing list