diff options
Diffstat (limited to 'math/py-z3-solver/Makefile')
| -rw-r--r-- | math/py-z3-solver/Makefile | 25 |
1 files changed, 0 insertions, 25 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> |