diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2017-09-05 15:26:54 +0000 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2017-09-05 15:26:54 +0000 |
| commit | 533097adc5449bbd4a4ecbb5e69be2631e30f940 (patch) | |
| tree | 75447fdca02923bede672a5f8cf3fc5fed50f7d0 /math/z3/files/patch-scripts_mk__util.py | |
| parent | Update to 2.4.1. (diff) | |
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)
Diffstat (limited to '')
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |