Package the Python bindings for wip/z3

[Pierre Pronchery <khorben%defora.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Pierre Pronchery <khorben%defora.org@localhost>
Pushed By:	khorben
Date:		Fri Mar 9 16:57:52 2018 +0100
Changeset:	4c57d780d28eaf91fc9a9a3917645aaf28c08265

Modified Files:
	Makefile
	z3/Makefile.common
	z3/buildlink3.mk
Added Files:
	py-z3/DESCR
	py-z3/Makefile
	py-z3/PLIST

Log Message:
Package the Python bindings for wip/z3

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=4c57d780d28eaf91fc9a9a3917645aaf28c08265

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 Makefile           |  1 +
 py-z3/DESCR        |  5 +++++
 py-z3/Makefile     | 26 ++++++++++++++++++++++++++
 py-z3/PLIST        | 22 ++++++++++++++++++++++
 z3/Makefile.common |  3 ++-
 z3/buildlink3.mk   |  2 ++
 6 files changed, 58 insertions(+), 1 deletion(-)

diffs:
diff --git a/Makefile b/Makefile
index a39dd94f19..e70f2dc34a 100644
--- a/Makefile
+++ b/Makefile
@@ -3886,6 +3886,7 @@ SUBDIR+=	py-yapsy
 SUBDIR+=	py-yellowhiggs
 SUBDIR+=	py-yt
 SUBDIR+=	py-z2pack
+SUBDIR+=	py-z3
 SUBDIR+=	py-zeitgeist
 SUBDIR+=	py-zenity
 SUBDIR+=	py-zipline
diff --git a/py-z3/DESCR b/py-z3/DESCR
new file mode 100644
index 0000000000..54f087db4c
--- /dev/null
+++ b/py-z3/DESCR
@@ -0,0 +1,5 @@
+z3 is an open source theorem prover / SMT solver from Microsoft Research.
+
+(SMT stands for "satisfiability modulo theories".)
+
+This package contains the Python bindings for z3.
diff --git a/py-z3/Makefile b/py-z3/Makefile
new file mode 100644
index 0000000000..4e50416f2e
--- /dev/null
+++ b/py-z3/Makefile
@@ -0,0 +1,26 @@
+# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $
+
+.include "../../wip/z3/Makefile.common"
+
+PKGNAME=	${PYPKGPREFIX}-${DISTNAME}
+
+COMMENT=	Python bindings for the Z3 theorem prover / SMT solver
+
+CONFIGURE_ARGS+=	--python
+NO_BUILD=	yes
+PY_PATCHPLIST=	yes
+
+PYTHON_VERSIONS_ACCEPTED=	27
+
+PYZ3DIR=		${PREFIX}/${PYSITELIB}/z3
+INSTALLATION_DIRS+=	${PYZ3DIR}
+INSTALLATION_DIRS+=	${PYZ3DIR}/lib
+
+do-install:
+	${LN} -s ${LIBDIR}/libz3.so ${DESTDIR}${PYZ3DIR}/lib/libz3.so
+	${INSTALL_DATA} ${WRKSRC}/build/python/z3/*.py ${DESTDIR}${PYZ3DIR}
+	${PY_COMPILE_ALL} ${DESTDIR}${PYZ3DIR}
+
+.include "../../lang/python/extension.mk"
+.include "../../wip/z3/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/py-z3/PLIST b/py-z3/PLIST
new file mode 100644
index 0000000000..4bd74a77fe
--- /dev/null
+++ b/py-z3/PLIST
@@ -0,0 +1,22 @@
+@comment $NetBSD$
+${PYSITELIB}/z3/__init__.py
+${PYSITELIB}/z3/__init__.pyc
+${PYSITELIB}/z3/lib/libz3.so
+${PYSITELIB}/z3/z3.py
+${PYSITELIB}/z3/z3.pyc
+${PYSITELIB}/z3/z3consts.py
+${PYSITELIB}/z3/z3consts.pyc
+${PYSITELIB}/z3/z3core.py
+${PYSITELIB}/z3/z3core.pyc
+${PYSITELIB}/z3/z3num.py
+${PYSITELIB}/z3/z3num.pyc
+${PYSITELIB}/z3/z3poly.py
+${PYSITELIB}/z3/z3poly.pyc
+${PYSITELIB}/z3/z3printer.py
+${PYSITELIB}/z3/z3printer.pyc
+${PYSITELIB}/z3/z3rcf.py
+${PYSITELIB}/z3/z3rcf.pyc
+${PYSITELIB}/z3/z3types.py
+${PYSITELIB}/z3/z3types.pyc
+${PYSITELIB}/z3/z3util.py
+${PYSITELIB}/z3/z3util.pyc
diff --git a/z3/Makefile.common b/z3/Makefile.common
index fd1c48d14a..7953a0f032 100644
--- a/z3/Makefile.common
+++ b/z3/Makefile.common
@@ -1,6 +1,7 @@
 # $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $
 #
-# used by wip/z3
+# used by wip/py-z3/Makefile
+# used by wip/z3/Makefile
 
 DISTNAME=	z3-4.5.0
 GITHUB_TAG=	${DISTNAME}
diff --git a/z3/buildlink3.mk b/z3/buildlink3.mk
index a17ce39723..6bd7550100 100644
--- a/z3/buildlink3.mk
+++ b/z3/buildlink3.mk
@@ -1,3 +1,5 @@
+# $NetBSD$
+
 BUILDLINK_TREE+=	z3
 
 .if !defined(Z3_BUILDLINK3_MK)