From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Aug 11 20:40:26 2005 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org 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 3457B16A41F for ; Thu, 11 Aug 2005 20:40:26 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id E457543D49 for ; Thu, 11 Aug 2005 20:40:24 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.3/8.13.3) with ESMTP id j7BKeOaI070642 for ; Thu, 11 Aug 2005 20:40:24 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.3/8.13.1/Submit) id j7BKeO4Z070637; Thu, 11 Aug 2005 20:40:24 GMT (envelope-from gnats) Resent-Date: Thu, 11 Aug 2005 20:40:24 GMT Resent-Message-Id: <200508112040.j7BKeO4Z070637@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 E261D16A41F for ; Thu, 11 Aug 2005 20:38:34 +0000 (GMT) (envelope-from r.c.ladan@student.tue.nl) Received: from 82-168-75-155-bbxl.xdsl.tiscali.nl (82-168-75-155-bbxl.xdsl.tiscali.nl [82.168.75.155]) by mx1.FreeBSD.org (Postfix) with ESMTP id 360A443D46 for ; Thu, 11 Aug 2005 20:38:33 +0000 (GMT) (envelope-from r.c.ladan@student.tue.nl) Received: from 82-168-75-155-bbxl.xdsl.tiscali.nl (localhost [127.0.0.1]) by 82-168-75-155-bbxl.xdsl.tiscali.nl (8.13.4/8.13.4) with ESMTP id j7BKcVDC052839 for ; Thu, 11 Aug 2005 22:38:31 +0200 (CEST) (envelope-from r.c.ladan@student.tue.nl) Received: (from rene@localhost) by 82-168-75-155-bbxl.xdsl.tiscali.nl (8.13.4/8.13.1/Submit) id j7BKcVrn052838; Thu, 11 Aug 2005 22:38:31 +0200 (CEST) (envelope-from r.c.ladan@student.tue.nl) Message-Id: <200508112038.j7BKcVrn052838@82-168-75-155-bbxl.xdsl.tiscali.nl> Date: Thu, 11 Aug 2005 22:38:31 +0200 (CEST) From: Rene Ladan To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/84819: [MAINTAINER] math/coq: enable on ia64 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Aug 2005 20:40:26 -0000 >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 -.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: