Date: Sun, 12 May 2024 18:17:46 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-branches@FreeBSD.org Subject: git: b6ac72d50a4d - 2024Q2 - math/abella: Broken Message-ID: <202405121817.44CIHkkj045457@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202405121817.44CIHkkj045457>