diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2022-04-27 13:22:38 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2022-04-27 13:22:38 +0000 |
| commit | 0ecc15247433c78aaa70e1050991213742087a42 (patch) | |
| tree | daaa88357c759a3d326a18ec76071468a7d4abc3 | |
| parent | 32db3f936760b1571373d69b3752ecc4768af6e2 (diff) | |
| download | ports-0ecc15247433c78aaa70e1050991213742087a42.tar.gz ports-0ecc15247433c78aaa70e1050991213742087a42.zip | |
math/coq: enable on powerpc
| -rw-r--r-- | math/coq/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
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 \ |