diff options
| author | khorben <khorben@pkgsrc.org> | 2018-03-13 00:36:04 +0000 |
|---|---|---|
| committer | khorben <khorben@pkgsrc.org> | 2018-03-13 00:36:04 +0000 |
| commit | 880d7149846a8d2567ca629facc422a01c5ea8a8 (patch) | |
| tree | e7c0b0fa6a2a959552d7b0498aebac786c6f95b5 /math/py-z3 | |
| parent | 34d79d1f2fd7663f6239025b4069eb88590b2367 (diff) | |
| download | pkgsrc-880d7149846a8d2567ca629facc422a01c5ea8a8.tar.gz | |
Import a package for the Python bindings for math/z3
Diffstat (limited to 'math/py-z3')
| -rw-r--r-- | math/py-z3/DESCR | 5 | ||||
| -rw-r--r-- | math/py-z3/Makefile | 26 | ||||
| -rw-r--r-- | math/py-z3/PLIST | 22 |
3 files changed, 53 insertions, 0 deletions
diff --git a/math/py-z3/DESCR b/math/py-z3/DESCR new file mode 100644 index 00000000000..54f087db4c0 --- /dev/null +++ b/math/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/math/py-z3/Makefile b/math/py-z3/Makefile new file mode 100644 index 00000000000..edabca6cfcd --- /dev/null +++ b/math/py-z3/Makefile @@ -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 --git a/math/py-z3/PLIST b/math/py-z3/PLIST new file mode 100644 index 00000000000..f7a120cdb9a --- /dev/null +++ b/math/py-z3/PLIST @@ -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 |