[pkgsrc/trunk]: pkgsrc/lang/coq coq: mark as BROKEN because it does not suppo...

[wiz <wiz%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/3b4653805555
branches:  trunk
changeset: 380293:3b4653805555
user:      wiz <wiz%pkgsrc.org@localhost>
date:      Fri Jun 03 08:21:55 2022 +0000

description:
coq: mark as BROKEN because it does not support ocaml 4.14

diffstat:

 lang/coq/Makefile |  4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diffs (18 lines):

diff -r 2b70627ebff9 -r 3b4653805555 lang/coq/Makefile
--- a/lang/coq/Makefile Fri Jun 03 08:10:56 2022 +0000
+++ b/lang/coq/Makefile Fri Jun 03 08:21:55 2022 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.143 2022/05/01 09:45:42 wiz Exp $
+# $NetBSD: Makefile,v 1.144 2022/06/03 08:21:55 wiz Exp $
 
 DISTNAME=      coq-8.12.2
 PKGREVISION=   4
@@ -13,6 +13,8 @@
 
 WRKSRC=                ${WRKDIR}/${GITHUB_PROJECT}-${PKGVERSION_NOREV:S/+/-/}
 
+BROKEN=                "does not support ocaml 4.14"
+
 USE_TOOLS+=            bash
 USE_TOOLS+=            gmake
 HAS_CONFIGURE=         yes