Date: Mon, 20 Dec 2004 21:03:01 +0100 (CET) From: Rene Ladan <r.c.ladan@student.tue.nl> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/75334: [maintainer] math/coq: unbreak for amd64 Message-ID: <200412202003.iBKK31jR083197@82-168-140-74-bbxl.xdsl.tiscali.nl> Resent-Message-ID: <200412202010.iBKKADTf023492@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200412202003.iBKK31jR083197>