aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq
diff options
context:
space:
mode:
authortobez <tobez@FreeBSD.org>2004-11-29 17:34:20 +0800
committertobez <tobez@FreeBSD.org>2004-11-29 17:34:20 +0800
commit0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6 (patch)
tree31eaaea13597877e5e8f6408d8fbbd1937b8e776 /math/coq
parent5c65f0da9b9585380e926fc26e86931ad0fb915d (diff)
downloadfreebsd-ports-gnome-0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6.tar.gz
freebsd-ports-gnome-0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6.tar.zst
freebsd-ports-gnome-0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6.zip
Mark broken on ia64 and amd64.
PR: 74502 Submitted by: maintainer
Diffstat (limited to 'math/coq')
-rw-r--r--math/coq/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 268a82c490a3..40e76d1317ee 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -32,6 +32,10 @@ ALL_TARGET= world
.include <bsd.port.pre.mk>
+.if ${ARCH} == "ia64" || ${ARCH} == "amd64"
+BROKEN= "OCaml bug prevents compilation"
+.endif
+
.if exists(${LOCALBASE}/bin/lablgtk2)
BUILD_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
RUN_DEPENDS+= ${BUILD_DEPENDS}