git: b6ac72d50a4d - 2024Q2 - math/abella: Broken

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 12 May 2024 18:17:46 UTC 
The branch 2024Q2 has been updated by yuri:

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

commit b6ac72d50a4d9bd1d6ff3ce40fed90e86adb3e80
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-05-08 15:03:28 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-05-12 18:17:39 +0000

    math/abella: Broken
    
    (cherry picked from commit ce90bf7aed5d91f60f3dbcf54a18b4f30bb199ac)
---
 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