diff options
Diffstat (limited to 'math/coq/Makefile')
| -rw-r--r-- | math/coq/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 06cc1f061877..1ae05356c74b 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -20,6 +20,7 @@ LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ libfreetype.so:print/freetype2 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 USES= gmake gettext-runtime |