67e1f1a6bf
This flag should be set for packages that import pkg_resources and thus need setuptools after the build step. Set this flag for packages that need it and bump PKGREVISION.
21 lines
486 B
Makefile
21 lines
486 B
Makefile
# $NetBSD: Makefile,v 1.6 2022/01/05 15:41:15 wiz Exp $
|
|
|
|
DISTNAME= z3-solver-4.8.9.0
|
|
PKGNAME= ${PYPKGPREFIX}-z3solver-4.8.9.0
|
|
PKGREVISION= 2
|
|
CATEGORIES= math
|
|
MASTER_SITES= ${MASTER_SITE_PYPI:=z/z3-solver/}
|
|
|
|
MAINTAINER= khorben@defora.org
|
|
HOMEPAGE= https://pypi.python.org/pypi/z3-solver/
|
|
COMMENT= Theorem prover from Microsoft Research
|
|
LICENSE= mit
|
|
|
|
USE_LANGUAGES= c c++
|
|
|
|
USE_PKG_RESOURCES= yes
|
|
|
|
CONFLICTS+= z3-[0-9]*
|
|
|
|
.include "../../lang/python/egg.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|