diff options
| author | wiz <wiz@pkgsrc.org> | 2018-02-27 08:34:16 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2018-02-27 08:34:16 +0000 |
| commit | 8c8785b185d77e8c1cb1b5db7146aa8ee468a278 (patch) | |
| tree | 832468229f04002269ea130f29b0e121c0fea778 /math/z3 | |
| parent | d96051303dd4caf7c3385f22b57a919304ad608f (diff) | |
| download | pkgsrc-8c8785b185d77e8c1cb1b5db7146aa8ee468a278.tar.gz | |
z3: forbid python 3.x
First complains about indentation problems, then about reading
non-ASCII bytes.
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index fbfc2e18f41..7aad1438af4 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.6 2018/01/10 16:53:12 jaapb Exp $ +# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $ DISTNAME= z3-4.4.1 GITHUB_TAG= ${DISTNAME} @@ -21,6 +21,8 @@ USE_LANGUAGES= c c++ BUILD_DIRS= build PY_PATCHPLIST= yes +PYTHON_VERSIONS_ACCEPTED= 27 + CONFIGURE_ENV+= PYTHON=${PYTHONBIN} CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX} |