Tue Feb 27 08:34:16 2018 UTC ()
z3: forbid python 3.x

First complains about indentation problems, then about reading
non-ASCII bytes.


(wiz)
diff -r1.6 -r1.7 pkgsrc/math/z3/Makefile
cvs diff -r1.6 -r1.7 pkgsrc/math/z3/Makefile (expand / switch to unified diff)

--- pkgsrc/math/z3/Makefile 2018/01/10 16:53:12 1.6
+++ pkgsrc/math/z3/Makefile 2018/02/27 08:34:16 1.7
@@ -1,30 +1,32 @@ @@ -1,30 +1,32 @@
1# $NetBSD: Makefile,v 1.6 2018/01/10 16:53:12 jaapb Exp $ 1# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $
2 2
3DISTNAME= z3-4.4.1 3DISTNAME= z3-4.4.1
4GITHUB_TAG= ${DISTNAME} 4GITHUB_TAG= ${DISTNAME}
5PKGREVISION= 5 5PKGREVISION= 5
6CATEGORIES= math 6CATEGORIES= math
7MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/} 7MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/}
8PATCHFILES+= z3-jumbo-patch-20151123.gz 8PATCHFILES+= z3-jumbo-patch-20151123.gz
9SITES.z3-jumbo-patch-20151123.gz=\ 9SITES.z3-jumbo-patch-20151123.gz=\
10 http://www.NetBSD.org/~dholland/patchkits/z3/ 10 http://www.NetBSD.org/~dholland/patchkits/z3/
11PATCH_DIST_STRIP= -p1 11PATCH_DIST_STRIP= -p1
12 12
13MAINTAINER= dholland@NetBSD.org 13MAINTAINER= dholland@NetBSD.org
14HOMEPAGE= https://github.com/Z3Prover/z3/ 14HOMEPAGE= https://github.com/Z3Prover/z3/
15COMMENT= The Z3 theorem prover / SMT solver 15COMMENT= The Z3 theorem prover / SMT solver
16LICENSE= mit 16LICENSE= mit
17 17
18WRKSRC= ${WRKDIR}/z3-${DISTNAME} 18WRKSRC= ${WRKDIR}/z3-${DISTNAME}
19HAS_CONFIGURE= yes 19HAS_CONFIGURE= yes
20USE_LANGUAGES= c c++ 20USE_LANGUAGES= c c++
21BUILD_DIRS= build 21BUILD_DIRS= build
22PY_PATCHPLIST= yes 22PY_PATCHPLIST= yes
23 23
 24PYTHON_VERSIONS_ACCEPTED= 27
 25
24CONFIGURE_ENV+= PYTHON=${PYTHONBIN} 26CONFIGURE_ENV+= PYTHON=${PYTHONBIN}
25CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX} 27CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX}
26 28
27.include "options.mk" 29.include "options.mk"
28 30
29.include "../../lang/python/extension.mk" 31.include "../../lang/python/extension.mk"
30.include "../../mk/bsd.pkg.mk" 32.include "../../mk/bsd.pkg.mk"