diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2018-01-23 13:55:27 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2018-01-23 13:55:27 +0000 |
| commit | 97dc2e37b8b39c961334926e584370156d87604b (patch) | |
| tree | 78033c5c2e6fca8df1270ded1352868c92fedcaa /math/z3/files/patch-scripts_mk__util.py | |
| parent | mail/nextcloud-mail: Update to 0.7.9 (diff) | |
Update to 4.6.0 release and create shared lib symlink.
Differential Revision: https://reviews.freebsd.org/D13637
Submitted by: maintainer
Diffstat (limited to '')
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/math/z3/files/patch-scripts_mk__util.py b/math/z3/files/patch-scripts_mk__util.py index d4af1161c693..a79dec34b59e 100644 --- a/math/z3/files/patch-scripts_mk__util.py +++ b/math/z3/files/patch-scripts_mk__util.py @@ -1,4 +1,4 @@ ---- scripts/mk_util.py.orig 2016-11-07 22:02:30 UTC +--- scripts/mk_util.py.orig 2017-12-18 14:18:30 UTC +++ scripts/mk_util.py @@ -49,7 +49,7 @@ C_COMPILERS=['gcc', 'clang'] CSC_COMPILERS=['csc', 'mcs'] @@ -9,12 +9,12 @@ BUILD_DIR='build' REV_BUILD_DIR='..' SRC_DIR='src' -@@ -2391,7 +2391,7 @@ def mk_config(): +@@ -2441,7 +2441,7 @@ def mk_config(): check_ar() CXX = find_cxx_compiler() CC = find_c_compiler() - SLIBEXTRAFLAGS = '' + SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS + EXE_EXT = '' + LIB_EXT = '.a' if GPROF: - CXXFLAGS = '%s -pg' % CXXFLAGS - LDFLAGS = '%s -pg' % LDFLAGS |