diff options
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} |