From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Nov 29 09:30:26 2004 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id ADEC416A4E6 for ; Mon, 29 Nov 2004 09:30:26 +0000 (GMT) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 629E543D49 for ; Mon, 29 Nov 2004 09:30:26 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.1/8.13.1) with ESMTP id iAT9UQSW094214 for ; Mon, 29 Nov 2004 09:30:26 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.1/8.13.1/Submit) id iAT9UQop094213; Mon, 29 Nov 2004 09:30:26 GMT (envelope-from gnats) Resent-Date: Mon, 29 Nov 2004 09:30:26 GMT Resent-Message-Id: <200411290930.iAT9UQop094213@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Rene Ladan Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 1076316A4CE for ; Mon, 29 Nov 2004 09:22:42 +0000 (GMT) Received: from 82-168-140-74-bbxl.xdsl.tiscali.nl (82-168-140-74-bbxl.xdsl.tiscali.nl [82.168.140.74]) by mx1.FreeBSD.org (Postfix) with ESMTP id C81DC43D46 for ; Mon, 29 Nov 2004 09:22:40 +0000 (GMT) (envelope-from r.c.ladan@student.tue.nl) Received: from 82-168-140-74-bbxl.xdsl.tiscali.nl (localhost [127.0.0.1]) iAT9O8p4059725 for ; Mon, 29 Nov 2004 10:24:09 +0100 (CET) (envelope-from r.c.ladan@student.tue.nl) Received: (from rene@localhost)iAT9O8Nt059724; Mon, 29 Nov 2004 10:24:08 +0100 (CET) (envelope-from r.c.ladan@student.tue.nl) Message-Id: <200411290924.iAT9O8Nt059724@82-168-140-74-bbxl.xdsl.tiscali.nl> Date: Mon, 29 Nov 2004 10:24:08 +0100 (CET) From: Rene Ladan To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Subject: ports/74502: mark BROKEN on amd64 and ia64 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list Reply-To: Rene Ladan List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 29 Nov 2004 09:30:26 -0000 >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@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 +.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: