Date: Thu, 11 Aug 2005 22:38:31 +0200 (CEST) From: Rene Ladan <r.c.ladan@student.tue.nl> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/84819: [MAINTAINER] math/coq: enable on ia64 Message-ID: <200508112038.j7BKcVrn052838@82-168-75-155-bbxl.xdsl.tiscali.nl> Resent-Message-ID: <200508112040.j7BKeO4Z070637@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200508112038.j7BKcVrn052838>