git: ce90bf7aed5d - main - math/abella: Broken

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 07 May 2024 03:10:48 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=ce90bf7aed5d91f60f3dbcf54a18b4f30bb199ac

commit ce90bf7aed5d91f60f3dbcf54a18b4f30bb199ac
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-05-07 03:10:19 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-05-07 03:10:41 +0000

    math/abella: Broken
---
 math/abella/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/abella/Makefile b/math/abella/Makefile
index a99fdfbb916a..fb64cf6b8ed9 100644
--- a/math/abella/Makefile
+++ b/math/abella/Makefile
@@ -10,6 +10,8 @@ WWW=		https://abella-prover.org/
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
+BROKEN=		until https://github.com/abella-prover/abella/issues/154 is resolved
+
 BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild \
 		ocamlfind:devel/ocaml-findlib