ports/84819: [MAINTAINER] math/coq: enable on ia64

[Rene Ladan]

>Number:         84819
>Category:       ports
>Synopsis:       [MAINTAINER] math/coq: enable on ia64
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Thu Aug 11 20:40:24 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator:     Rene Ladan
>Release:        FreeBSD 6.0-BETA2 i386
>Organization:
>Environment:
System: FreeBSD 82-168-75-155-bbxl.xdsl.tiscali.nl 6.0-BETA2 FreeBSD 6.0-BETA2 #5: Thu Aug 11 16:50:36 CEST 2005
>Description:
[DESCRIBE CHANGES]

Enable on ia64 platform, the Ocaml bug which prevented compilation has been
solved (Ocaml bug 2518 according to http://coq.inria.fr/doc-eng.html,
bug 661 and bug 827)

Generated with FreeBSD Port Tools 0.63
>How-To-Repeat:
>Fix:

--- coq-8.0p2.patch begins here ---
diff -ruN --exclude=CVS /usr/ports/math/coq/Makefile /usr/home/rene/fbsd/ports/coq/Makefile
--- /usr/ports/math/coq/Makefile	Wed Feb  2 12:34:42 2005
+++ /usr/home/rene/fbsd/ports/coq/Makefile	Thu Aug 11 22:18:55 2005
@@ -30,10 +30,6 @@
 
 .include <bsd.port.pre.mk>
 
-.if ${ARCH} == "ia64"
-BROKEN=	"OCaml bug prevents compilation"
-.endif
-
 .if exists(${LOCALBASE}/bin/lablgtk2)
 BUILD_DEPENDS+=	lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
 RUN_DEPENDS+=	${BUILD_DEPENDS}
--- coq-8.0p2.patch ends here ---

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