CVS commit: pkgsrc/lang/coq

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jun  3 08:21:55 UTC 2022

Modified Files:
        pkgsrc/lang/coq: Makefile

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


To generate a diff of this commit:
cvs rdiff -u -r1.143 -r1.144 pkgsrc/lang/coq/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.143 pkgsrc/lang/coq/Makefile:1.144
--- pkgsrc/lang/coq/Makefile:1.143      Sun May  1 09:45:42 2022
+++ pkgsrc/lang/coq/Makefile    Fri Jun  3 08:21:55 2022
@@ -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 @@ LICENSE=      gnu-lgpl-v2.1
 
 WRKSRC=                ${WRKDIR}/${GITHUB_PROJECT}-${PKGVERSION_NOREV:S/+/-/}
 
+BROKEN=                "does not support ocaml 4.14"
+
 USE_TOOLS+=            bash
 USE_TOOLS+=            gmake
 HAS_CONFIGURE=         yes