Date: Wed, 27 Apr 2022 13:40:37 GMT From: Piotr Kubaj <pkubaj@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 0ecc15247433 - main - math/coq: enable on powerpc Message-ID: <202204271340.23RDebBS080409@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by pkubaj: URL: https://cgit.FreeBSD.org/ports/commit/?id=0ecc15247433c78aaa70e1050991213742087a42 commit 0ecc15247433c78aaa70e1050991213742087a42 Author: Piotr Kubaj <pkubaj@FreeBSD.org> AuthorDate: 2022-04-27 13:22:38 +0000 Commit: Piotr Kubaj <pkubaj@FreeBSD.org> CommitDate: 2022-04-27 13:22:38 +0000 math/coq: enable on powerpc --- math/coq/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/math/coq/Makefile b/math/coq/Makefile index 54c4a3fa8bcb..8ffcfd5e51ff 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -15,7 +15,6 @@ LICENSE_FILE= ${WRKSRC}/LICENSE BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") -BROKEN_powerpc= fails to link BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ ocamlfind:devel/ocaml-findlib \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202204271340.23RDebBS080409>