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)

math/z3/Makefile

@@ -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

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