summaryrefslogtreecommitdiff
path: root/math/z3
diff options
context:
space:
mode:
Diffstat (limited to 'math/z3')
-rw-r--r--math/z3/Makefile4
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}