From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Dec 20 20:10:13 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 BA18816A4CE for ; Mon, 20 Dec 2004 20:10:13 +0000 (GMT) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 7AA1C43D49 for ; Mon, 20 Dec 2004 20:10:13 +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 iBKKAD6C023493 for ; Mon, 20 Dec 2004 20:10:13 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.1/8.13.1/Submit) id iBKKADTf023492; Mon, 20 Dec 2004 20:10:13 GMT (envelope-from gnats) Resent-Date: Mon, 20 Dec 2004 20:10:13 GMT Resent-Message-Id: <200412202010.iBKKADTf023492@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 409CB16A4CE for ; Mon, 20 Dec 2004 20:01:34 +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 24D8743D3F for ; Mon, 20 Dec 2004 20:01:33 +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]) iBKK31fZ083198 for ; Mon, 20 Dec 2004 21:03:01 +0100 (CET) (envelope-from r.c.ladan@student.tue.nl) Received: (from rene@localhost)iBKK31jR083197; Mon, 20 Dec 2004 21:03:01 +0100 (CET) (envelope-from r.c.ladan@student.tue.nl) Message-Id: <200412202003.iBKK31jR083197@82-168-140-74-bbxl.xdsl.tiscali.nl> Date: Mon, 20 Dec 2004 21:03:01 +0100 (CET) From: Rene Ladan To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Subject: ports/75334: [maintainer] math/coq: unbreak for amd64 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, 20 Dec 2004 20:10:13 -0000 >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 -.if ${ARCH} == "ia64" || ${ARCH} == "amd64" +.if ${ARCH} == "ia64" BROKEN= "OCaml bug prevents compilation" .endif >Release-Note: >Audit-Trail: >Unformatted: