From owner-svn-ports-all@freebsd.org Tue Sep 5 15:26:56 2017 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 5BEC0E0E92F; Tue, 5 Sep 2017 15:26:56 +0000 (UTC) (envelope-from jrm@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 27308833A3; Tue, 5 Sep 2017 15:26:56 +0000 (UTC) (envelope-from jrm@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id v85FQtK8020982; Tue, 5 Sep 2017 15:26:55 GMT (envelope-from jrm@FreeBSD.org) Received: (from jrm@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id v85FQtVJ020979; Tue, 5 Sep 2017 15:26:55 GMT (envelope-from jrm@FreeBSD.org) Message-Id: <201709051526.v85FQtVJ020979@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: jrm set sender to jrm@FreeBSD.org using -f From: Joseph Mingrone Date: Tue, 5 Sep 2017 15:26:55 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r449291 - in head/math/z3: . files X-SVN-Group: ports-head X-SVN-Commit-Author: jrm X-SVN-Commit-Paths: in head/math/z3: . files X-SVN-Commit-Revision: 449291 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 05 Sep 2017 15:26:56 -0000 Author: jrm Date: Tue Sep 5 15:26:54 2017 New Revision: 449291 URL: https://svnweb.freebsd.org/changeset/ports/449291 Log: 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) Modified: head/math/z3/Makefile head/math/z3/files/patch-scripts_mk__util.py (contents, props changed) Modified: head/math/z3/Makefile ============================================================================== --- head/math/z3/Makefile Tue Sep 5 15:26:44 2017 (r449290) +++ head/math/z3/Makefile Tue Sep 5 15:26:54 2017 (r449291) @@ -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 Modified: head/math/z3/files/patch-scripts_mk__util.py ============================================================================== --- head/math/z3/files/patch-scripts_mk__util.py Tue Sep 5 15:26:44 2017 (r449290) +++ head/math/z3/files/patch-scripts_mk__util.py Tue Sep 5 15:26:54 2017 (r449291) @@ -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