diff options
Diffstat (limited to 'math/z3/Makefile')
| -rw-r--r-- | math/z3/Makefile | 27 |
1 files changed, 2 insertions, 25 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 7aad1438af4..afe8928e34e 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,32 +1,9 @@ -# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $ +# $NetBSD: Makefile,v 1.8 2018/03/13 00:31:16 khorben Exp $ -DISTNAME= z3-4.4.1 -GITHUB_TAG= ${DISTNAME} -PKGREVISION= 5 -CATEGORIES= math -MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/} -PATCHFILES+= z3-jumbo-patch-20151123.gz -SITES.z3-jumbo-patch-20151123.gz=\ - http://www.NetBSD.org/~dholland/patchkits/z3/ -PATCH_DIST_STRIP= -p1 +.include "Makefile.common" -MAINTAINER= dholland@NetBSD.org -HOMEPAGE= https://github.com/Z3Prover/z3/ COMMENT= The Z3 theorem prover / SMT solver -LICENSE= mit - -WRKSRC= ${WRKDIR}/z3-${DISTNAME} -HAS_CONFIGURE= yes -USE_LANGUAGES= c c++ -BUILD_DIRS= build -PY_PATCHPLIST= yes - -PYTHON_VERSIONS_ACCEPTED= 27 - -CONFIGURE_ENV+= PYTHON=${PYTHONBIN} -CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX} .include "options.mk" -.include "../../lang/python/extension.mk" .include "../../mk/bsd.pkg.mk" |