summaryrefslogtreecommitdiff
path: root/math/coq
diff options
context:
space:
mode:
authorMark Linimon <linimon@FreeBSD.org>2017-11-30 06:13:34 +0000
committerMark Linimon <linimon@FreeBSD.org>2017-11-30 06:13:34 +0000
commitbf43557044604cb6487fc1aa24ce2c210ae789da (patch)
tree10dd7508accfa6a3ffc8e631ba63a22cc2fdeb6b /math/coq
parent- Update to 1.6.6 (diff)
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
Notes
Notes: svn path=/head/; revision=455167
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