ports/75334: [maintainer] math/coq: unbreak for amd64

[Rene Ladan]

>Number:         75334
>Category:       ports
>Synopsis:       [maintainer] math/coq: unbreak for amd64
>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:   Mon Dec 20 20:10:13 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 #0: Tue Dec 14 23:10:11 CET 2004 root at 82-168-140-74-bbxl.xdsl.tiscali.nl:/usr/obj/usr/src/sys/RENE i386

coq-8.0p1
ocaml-3.08.2

>Description:
Johan van Selst succesfully ran the test-suite on an amd64 running 6-CURRENT and ocaml-3.08.2,
so unbreak it for amd64

also remove stale comment
>How-To-Repeat:
apply patch
>Fix:
--- Makefile.old	Mon Nov 29 10:34:20 2004
+++ Makefile	Mon Dec 20 20:54:21 2004
@@ -12,7 +12,6 @@
 DISTNAME=	coq-8.0pl1
 
 PATCH_SITES=	${MASTER_SITES}
-#only for Ocaml 3.08.1 :
 PATCHFILES=	patch-coq-8.0pl1-ocaml-3.08.1
 
 MAINTAINER=	r.c.ladan at student.tue.nl
@@ -32,7 +31,7 @@
 
 .include <bsd.port.pre.mk>
 
-.if ${ARCH} == "ia64" || ${ARCH} == "amd64"
+.if ${ARCH} == "ia64"
 BROKEN=	"OCaml bug prevents compilation"
 .endif
>Release-Note:
>Audit-Trail:
>Unformatted: