ports/74502: mark BROKEN on amd64 and ia64

[Rene Ladan]

>Number:         74502
>Category:       ports
>Synopsis:       mark BROKEN on amd64 and ia64
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Mon Nov 29 09:30:25 GMT 2004
>Closed-Date:
>Last-Modified:
>Originator:     Rene Ladan
>Release:        FreeBSD 5.3-STABLE i386
>Organization:
>Environment:
System: FreeBSD 82-168-140-74-bbxl.xdsl.tiscali.nl 5.3-STABLE FreeBSD 5.3-STABLE #4: Mon Nov 29 00:27:43 CET 2004 root at 82-168-140-74-bbxl.xdsl.tiscali.nl:/usr/obj/usr/src/sys/RENE i386


>Description:
A bug in OCaml prevents Coq to compile on the ia64 and also the amd64 platform.

See also
http://coq.inria.fr/bin/coq-bugs/not a coq bug?id=661;user=guest;selectid=661
http://coq.inria.fr/bin/coq-bugs/not a coq bug?id=827;user=guest;selectid=827
http://caml.inria.fr/bin/caml-bugs/fixed?id=2518;user=guest;selectid=2518
>How-To-Repeat:
Mark port as BROKEN until Ocaml is fixed.
>Fix:


diff -ruN --exclude=CVS /usr/ports/math/coq.orig/Makefile /usr/ports/math/coq/Makefile
--- /usr/ports/math/coq.orig/Makefile	Mon Nov 29 10:04:53 2004
+++ /usr/ports/math/coq/Makefile	Mon Nov 29 10:09:35 2004
@@ -32,6 +32,10 @@
 
 .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}

>Release-Note:
>Audit-Trail:
>Unformatted: