summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authoradam <adam@pkgsrc.org>2019-09-02 13:33:22 +0000
committeradam <adam@pkgsrc.org>2019-09-02 13:33:22 +0000
commit9184675cc3356b86fdc8bdf364e377f0a4f81e92 (patch)
tree5dd51d9a45acc41b2c16d88a4b85309c4e0c8932 /lang/coq
parent797e20d2911d028024809340f9a1da62cecfe17c (diff)
downloadpkgsrc-9184675cc3356b86fdc8bdf364e377f0a4f81e92.tar.gz
Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/options.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/options.mk b/lang/coq/options.mk
index 6f1fbe5ecee..c6481d24b60 100644
--- a/lang/coq/options.mk
+++ b/lang/coq/options.mk
@@ -1,4 +1,4 @@
-# $NetBSD: options.mk,v 1.6 2019/04/26 12:44:43 roy Exp $
+# $NetBSD: options.mk,v 1.7 2019/09/02 13:33:23 adam Exp $
PKG_OPTIONS_VAR= PKG_OPTIONS.coq
PKG_SUPPORTED_OPTIONS= doc coqide
@@ -7,7 +7,7 @@ PKG_SUGGESTED_OPTIONS= coqide
.include "../../mk/bsd.options.mk"
.if !empty(PKG_OPTIONS:Mdoc)
-PYTHON_VERSIONS_ACCEPTED= 37 36
+PYTHON_VERSIONS_INCOMPATIBLE= 27
CONFIGURE_ARGS+= -with-doc yes
PLIST.doc= yes
BUILD_DEPENDS+= tex-latex-bin-[0-9]*:../../print/tex-latex-bin