diff options
author | wiz <wiz@pkgsrc.org> | 2022-06-03 08:21:55 +0000 |
---|---|---|
committer | wiz <wiz@pkgsrc.org> | 2022-06-03 08:21:55 +0000 |
commit | 4b7ef02bd2c63d56d35629bf391b31b9676df7a6 (patch) | |
tree | b1454c9ff5e2e9c8627869595ff654b3e5e39d46 | |
parent | a70d3c726241b3e48d2763869b9f4b2cbb42e4fe (diff) | |
download | pkgsrc-4b7ef02bd2c63d56d35629bf391b31b9676df7a6.tar.gz |
coq: mark as BROKEN because it does not support ocaml 4.14
-rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 20f85885346..9c24adfe2ee 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -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 |