git: 0ecc15247433 - main - math/coq: enable on powerpc

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Piotr Kubaj <pkubaj_at_FreeBSD.org>
Date: Wed, 27 Apr 2022 13:40:37 UTC

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 \