CVS commit: pkgsrc/math

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

Module Name:    pkgsrc
Committed By:   khorben
Date:           Tue Mar 13 00:36:05 UTC 2018

Modified Files:
        pkgsrc/math/z3: Makefile.common
Added Files:
        pkgsrc/math/py-z3: DESCR Makefile PLIST

Log Message:
Import a package for the Python bindings for math/z3


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/py-z3/DESCR pkgsrc/math/py-z3/Makefile \
    pkgsrc/math/py-z3/PLIST
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/z3/Makefile.common

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

Modified files:

Index: pkgsrc/math/z3/Makefile.common
diff -u pkgsrc/math/z3/Makefile.common:1.2 pkgsrc/math/z3/Makefile.common:1.3
--- pkgsrc/math/z3/Makefile.common:1.2  Tue Mar 13 00:34:02 2018
+++ pkgsrc/math/z3/Makefile.common      Tue Mar 13 00:36:04 2018
@@ -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

Added files:

Index: pkgsrc/math/py-z3/DESCR
diff -u /dev/null pkgsrc/math/py-z3/DESCR:1.1
--- /dev/null   Tue Mar 13 00:36:05 2018
+++ pkgsrc/math/py-z3/DESCR     Tue Mar 13 00:36:05 2018
@@ -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.
Index: pkgsrc/math/py-z3/Makefile
diff -u /dev/null pkgsrc/math/py-z3/Makefile:1.1
--- /dev/null   Tue Mar 13 00:36:05 2018
+++ pkgsrc/math/py-z3/Makefile  Tue Mar 13 00:36:05 2018
@@ -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"
Index: pkgsrc/math/py-z3/PLIST
diff -u /dev/null pkgsrc/math/py-z3/PLIST:1.1
--- /dev/null   Tue Mar 13 00:36:05 2018
+++ pkgsrc/math/py-z3/PLIST     Tue Mar 13 00:36:05 2018
@@ -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