diff options
| author | jrm <jrm@FreeBSD.org> | 2017-09-05 23:26:54 +0800 |
|---|---|---|
| committer | jrm <jrm@FreeBSD.org> | 2017-09-05 23:26:54 +0800 |
| commit | 546c64a1f2a40c93b9f8434878bbf0b6749257e6 (patch) | |
| tree | 75447fdca02923bede672a5f8cf3fc5fed50f7d0 | |
| parent | 0d5023f1bd1eaee661ab6d26d99a3984f7d01c7d (diff) | |
| download | freebsd-ports-gnome-546c64a1f2a40c93b9f8434878bbf0b6749257e6.tar.gz freebsd-ports-gnome-546c64a1f2a40c93b9f8434878bbf0b6749257e6.tar.zst freebsd-ports-gnome-546c64a1f2a40c93b9f8434878bbf0b6749257e6.zip | |
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@gmail.com (maintainer)
| -rw-r--r-- | math/z3/Makefile | 6 | ||||
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 7f5e2ec97aaf..d83fc8318b94 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,8 +1,9 @@ # $FreeBSD$ PORTNAME= z3 -PORTVERSION= 4.5.0 DISTVERSIONPREFIX= ${PORTNAME}- +DISTVERSION= 4.5.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= 6yearold@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 diff --git a/math/z3/files/patch-scripts_mk__util.py b/math/z3/files/patch-scripts_mk__util.py index b3d538e51461..d4af1161c693 100644 --- a/math/z3/files/patch-scripts_mk__util.py +++ b/math/z3/files/patch-scripts_mk__util.py @@ -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 |