freebsd-ports/math/py-z3-solver/Makefile
Yuri Victorovich 7b989edc68 math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website
z3 is a different project on PyPI.

Reported by:	koobs
2018-07-30 20:17:04 +00:00

25 lines
559 B
Makefile

# $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>