[Bug 221321] math/z3: Add SONAME to the linked library

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=221321

--- Comment #9 from arrowd <6yearold at gmail.com> ---
Strange, it does apply to me. Ok, here are the contents of
files/patch-scripts_mk__util.py

--- scripts/mk_util.py.orig     2016-11-07 22:02:30 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'
@@ -2391,7 +2391,7 @@ def mk_config():
         check_ar()
         CXX = find_cxx_compiler()
         CC  = find_c_compiler()
-        SLIBEXTRAFLAGS = ''
+        SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS
         if GPROF:
             CXXFLAGS = '%s -pg' % CXXFLAGS
             LDFLAGS  = '%s -pg' % LDFLAGS

Just copy it over existing file.

-- 
You are receiving this mail because:
You are the assignee for the bug.