aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq
diff options
context:
space:
mode:
authorlinimon <linimon@FreeBSD.org>2017-11-30 14:13:34 +0800
committerlinimon <linimon@FreeBSD.org>2017-11-30 14:13:34 +0800
commit3e6feb882b8ecd82ccb42e65f86b0f20c69688cc (patch)
tree10dd7508accfa6a3ffc8e631ba63a22cc2fdeb6b /math/coq
parent2c3118177acad05f016f169cb3102633c558c602 (diff)
downloadfreebsd-ports-gnome-3e6feb882b8ecd82ccb42e65f86b0f20c69688cc.tar.gz
freebsd-ports-gnome-3e6feb882b8ecd82ccb42e65f86b0f20c69688cc.tar.zst
freebsd-ports-gnome-3e6feb882b8ecd82ccb42e65f86b0f20c69688cc.zip
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so. This is part two of a multipart commit to bring armv7 ports to parity with armv6. Approved by: portmgr (tier-2 blanket) Obtained from: lonesome.com -exp run
Diffstat (limited to 'math/coq')
-rw-r--r--math/coq/Makefile1
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