diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-05-08 15:03:28 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-05-12 18:17:39 +0000 |
commit | b6ac72d50a4d9bd1d6ff3ce40fed90e86adb3e80 (patch) | |
tree | 95de70e66cf0f9b6c2b77cd81d6281839b7ff230 | |
parent | 5f48f14b203e82f2a84b3ace639f7e7ac1ff0d77 (diff) | |
download | ports-b6ac72d50a4d9bd1d6ff3ce40fed90e86adb3e80.tar.gz ports-b6ac72d50a4d9bd1d6ff3ce40fed90e86adb3e80.zip |
math/abella: Broken
(cherry picked from commit ce90bf7aed5d91f60f3dbcf54a18b4f30bb199ac)
-rw-r--r-- | math/abella/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |