From 0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6 Mon Sep 17 00:00:00 2001
From: tobez <tobez@FreeBSD.org>
Date: Mon, 29 Nov 2004 09:34:20 +0000
Subject: Mark broken on ia64 and amd64.

PR:		74502
Submitted by:	maintainer
---
 math/coq/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'math/coq')

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}
-- 
cgit