diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-25 19:14:54 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-25 19:14:54 +0000 |
| commit | 0b032b9ee64c11d6f6cc7d9ac4faaba6a1da91aa (patch) | |
| tree | cb7819a805c1d9027c625a27b95d70e1feb2f70d /math/py-z3-solver | |
| parent | 51b131d3958e25a0a3439adfc02caf66e71f52d5 (diff) | |
| download | ports-0b032b9ee64c11d6f6cc7d9ac4faaba6a1da91aa.tar.gz ports-0b032b9ee64c11d6f6cc7d9ac4faaba6a1da91aa.zip | |
Notes
Diffstat (limited to 'math/py-z3-solver')
| -rw-r--r-- | math/py-z3-solver/Makefile | 25 | ||||
| -rw-r--r-- | math/py-z3-solver/distinfo | 3 | ||||
| -rw-r--r-- | math/py-z3-solver/files/patch-setup.py | 12 | ||||
| -rw-r--r-- | math/py-z3-solver/pkg-descr | 4 |
4 files changed, 0 insertions, 44 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile deleted file mode 100644 index d2106bd49e55..000000000000 --- a/math/py-z3-solver/Makefile +++ /dev/null @@ -1,25 +0,0 @@ -# $FreeBSD$ - -PORTNAME= z3-solver -DISTVERSIONPREFIX= z3- -DISTVERSION= 4.7.1 -CATEGORIES= math -PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} - -MAINTAINER= yuri@FreeBSD.org -COMMENT= Python binding for Z3 Theorem Prover - -LICENSE= MIT -LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt - -# CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 - -USES= python -USE_GITHUB= yes -GH_ACCOUNT= Z3Prover -GH_PROJECT= z3 -USE_PYTHON= distutils autoplist - -WRKSRC_SUBDIR= src/api/python - -.include <bsd.port.mk> diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo deleted file mode 100644 index 3e54a3a9cce4..000000000000 --- a/math/py-z3-solver/distinfo +++ /dev/null @@ -1,3 +0,0 @@ -TIMESTAMP = 1529241358 -SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 -SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416 diff --git a/math/py-z3-solver/files/patch-setup.py b/math/py-z3-solver/files/patch-setup.py deleted file mode 100644 index af13eec6c882..000000000000 --- a/math/py-z3-solver/files/patch-setup.py +++ /dev/null @@ -1,12 +0,0 @@ ---- setup.py.orig 2018-07-21 19:34:29 UTC -+++ setup.py -@@ -161,9 +161,5 @@ setup( - keywords=['z3', 'smt', 'sat', 'prover', 'theorem'], - packages=['z3'], - include_package_data=True, -- package_data={ -- 'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')] -- }, -- data_files=[('bin',[os.path.join('bin',EXECUTABLE_FILE)])], - cmdclass={'build': build, 'develop': develop, 'sdist': sdist, 'bdist_egg': bdist_egg}, - ) diff --git a/math/py-z3-solver/pkg-descr b/math/py-z3-solver/pkg-descr deleted file mode 100644 index 9bddb9d30bec..000000000000 --- a/math/py-z3-solver/pkg-descr +++ /dev/null @@ -1,4 +0,0 @@ -Python binding for Z3, a high-performance theorem prover developed -at Microsoft Research. - -WWW: https://github.com/Z3Prover/z3 |