K 10
svn:author
V 3
jrm
K 8
svn:date
V 27
2017-09-05T15:26:54.977401Z
K 7
svn:log
V 211
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)

END