[pkgsrc/trunk]: pkgsrc/math Import a package for the Python bindings for math/z3

[khorben <khorben%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/d0a8b6b9fe1d
branches:  trunk
changeset: 377046:d0a8b6b9fe1d
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Mar 13 00:36:04 2018 +0000

description:
Import a package for the Python bindings for math/z3

diffstat:

 math/py-z3/DESCR        |   5 +++++
 math/py-z3/Makefile     |  26 ++++++++++++++++++++++++++
 math/py-z3/PLIST        |  22 ++++++++++++++++++++++
 math/z3/Makefile.common |   3 ++-
 4 files changed, 55 insertions(+), 1 deletions(-)

diffs (76 lines):

diff -r 38486221d3c7 -r d0a8b6b9fe1d math/py-z3/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-z3/DESCR  Tue Mar 13 00:36:04 2018 +0000
@@ -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 -r 38486221d3c7 -r d0a8b6b9fe1d math/py-z3/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-z3/Makefile       Tue Mar 13 00:36:04 2018 +0000
@@ -0,0 +1,26 @@
+# $NetBSD: Makefile,v 1.1 2018/03/13 00:36:05 khorben Exp $
+
+.include "../../math/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 "../../math/z3/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 38486221d3c7 -r d0a8b6b9fe1d math/py-z3/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/py-z3/PLIST  Tue Mar 13 00:36:04 2018 +0000
@@ -0,0 +1,22 @@
+@comment $NetBSD: PLIST,v 1.1 2018/03/13 00:36:05 khorben Exp $
+${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 -r 38486221d3c7 -r d0a8b6b9fe1d math/z3/Makefile.common
--- a/math/z3/Makefile.common   Tue Mar 13 00:34:02 2018 +0000
+++ b/math/z3/Makefile.common   Tue Mar 13 00:36:04 2018 +0000
@@ -1,5 +1,6 @@
-# $NetBSD: Makefile.common,v 1.2 2018/03/13 00:34:02 khorben Exp $
+# $NetBSD: Makefile.common,v 1.3 2018/03/13 00:36:04 khorben Exp $
 #
+# used by math/py-z3/Makefile
 # used by math/z3/Makefile
 
 DISTNAME=      z3-4.5.0