From 97dc2e37b8b39c961334926e584370156d87604b Mon Sep 17 00:00:00 2001 From: Alex Dupre Date: Tue, 23 Jan 2018 13:55:27 +0000 Subject: Update to 4.6.0 release and create shared lib symlink. Differential Revision: https://reviews.freebsd.org/D13637 Submitted by: maintainer --- math/z3/files/patch-scripts_mk__util.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'math/z3/files/patch-scripts_mk__util.py') 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 -- cgit v1.2.3