From owner-freebsd-ports-bugs@FreeBSD.ORG Wed Mar 8 20:20:09 2006 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 0387916A420 for ; Wed, 8 Mar 2006 20:20:09 +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 4C21B43D48 for ; Wed, 8 Mar 2006 20:20:08 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id k28KK8n5058327 for ; Wed, 8 Mar 2006 20:20:08 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id k28KK8uf058326; Wed, 8 Mar 2006 20:20:08 GMT (envelope-from gnats) Resent-Date: Wed, 8 Mar 2006 20:20:08 GMT Resent-Message-Id: <200603082020.k28KK8uf058326@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 EEBEA16A420 for ; Wed, 8 Mar 2006 20:17:50 +0000 (GMT) (envelope-from rene@82-168-79-254.dsl.ip.tiscali.nl) Received: from 82-168-79-254.dsl.ip.tiscali.nl (82-168-74-136.dsl.ip.tiscali.nl [82.168.74.136]) by mx1.FreeBSD.org (Postfix) with ESMTP id 1C20643D53 for ; Wed, 8 Mar 2006 20:17:49 +0000 (GMT) (envelope-from rene@82-168-79-254.dsl.ip.tiscali.nl) Received: from 82-168-79-254.dsl.ip.tiscali.nl (localhost [127.0.0.1]) by 82-168-79-254.dsl.ip.tiscali.nl (8.13.4/8.13.4) with ESMTP id k28KHl6u003214 for ; Wed, 8 Mar 2006 21:17:47 +0100 (CET) (envelope-from rene@82-168-79-254.dsl.ip.tiscali.nl) Received: (from rene@localhost) by 82-168-79-254.dsl.ip.tiscali.nl (8.13.4/8.13.4/Submit) id k28KHl5C003176; Wed, 8 Mar 2006 21:17:47 +0100 (CET) (envelope-from rene) Message-Id: <200603082017.k28KHl5C003176@82-168-79-254.dsl.ip.tiscali.nl> Date: Wed, 8 Mar 2006 21:17:47 +0100 (CET) From: Rene Ladan To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/94242: [PATCH] math/coq: fix build, update to 8.0pl3 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: Wed, 08 Mar 2006 20:20:09 -0000 >Number: 94242 >Category: ports >Synopsis: [PATCH] math/coq: fix build, update to 8.0pl3 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Wed Mar 08 20:20:07 GMT 2006 >Closed-Date: >Last-Modified: >Originator: Rene Ladan >Release: FreeBSD 6.0-RELEASE-p5 i386 >Organization: >Environment: System: FreeBSD 82-168-79-254.dsl.ip.tiscali.nl 6.0-RELEASE-p5 FreeBSD 6.0-RELEASE-p5 #8: Wed Mar 1 18:28:13 CET >Description: Unbreak by updating to 8.0pl3 and fixing pkg-plist OPTIONify WITH_IDE (default on) Pet portlint Generated with FreeBSD Port Tools 0.63 >How-To-Repeat: >Fix: diff -ru coq.orig/Makefile coq/Makefile --- coq.orig/Makefile Wed Mar 8 21:07:31 2006 +++ coq/Makefile Wed Mar 8 21:14:52 2006 @@ -2,16 +2,16 @@ # Date created: 2004-10-11 # Whom: Rene Ladan # -# $FreeBSD: /repoman/r/pcvs/ports/math/coq/Makefile,v 1.11 2006/03/06 20:30:52 kris Exp $ +# $FreeBSD: ports/math/coq/Makefile,v 1.11 2006/03/06 20:30:52 kris Exp $ # PORTNAME= coq -PORTVERSION= 8.0p2 -PORTREVISION= 1 +PORTVERSION= 8.0p3 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ -DISTNAME= coq-8.0pl2 -PATCHFILES= patch-coq-8.0pl2-ocaml-3.09 +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ +DISTNAME= coq-8.0pl3 + +PATCHFILES= patch-coq-8.0pl3-ocaml-3.09 PATCH_SITES= ${MASTER_SITES} MAINTAINER= ports@FreeBSD.org @@ -19,11 +19,8 @@ BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml -BROKEN= Does not build - USE_GMAKE= yes ALL_TARGET= world -WITH_IDE= yes HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix ${PREFIX} @@ -31,12 +28,14 @@ CONFIGURE_ARGS+= --reals all CONFIGURE_ARGS+= --opt +OPTIONS= IDE "With CoqIDE" on + PORTDOCS= CHANGES COPYRIGHT CREDITS INSTALL LICENSE README .include .if ${ARCH} == "ia64" -BROKEN= "OCaml bug prevents compilation" +BROKEN= OCaml bug prevents compilation .endif .if defined(WITH_IDE) || exists(${LOCALBASE}/bin/lablgtk2) diff -ru coq.orig/distinfo coq/distinfo --- coq.orig/distinfo Wed Mar 8 21:09:30 2006 +++ coq/distinfo Wed Mar 8 19:56:38 2006 @@ -1,6 +1,6 @@ -MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 -SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b -SIZE (coq-8.0pl2.tar.gz) = 2285855 -MD5 (patch-coq-8.0pl2-ocaml-3.09) = 9a53dc19f345c6c9df9fb18a5f28d8d6 -SHA256 (patch-coq-8.0pl2-ocaml-3.09) = f81eec6b1e39760795015dd954c49c39aef0b4d29409fe866f5f6299f0a5f75f -SIZE (patch-coq-8.0pl2-ocaml-3.09) = 818 +MD5 (coq-8.0pl3.tar.gz) = c98d4cefd119accb1ecdeebb41128822 +SHA256 (coq-8.0pl3.tar.gz) = 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c +SIZE (coq-8.0pl3.tar.gz) = 2309002 +MD5 (patch-coq-8.0pl3-ocaml-3.09) = 5e1187201c86d8b00a82bf15992e0162 +SHA256 (patch-coq-8.0pl3-ocaml-3.09) = 1d71c6e39342c109c9161c037b5db84fb3caf5ee02171b492a703153b3bbc2e1 +SIZE (patch-coq-8.0pl3-ocaml-3.09) = 29634 diff -ru coq.orig/pkg-plist coq/pkg-plist --- coq.orig/pkg-plist Wed Mar 8 21:07:12 2006 +++ coq/pkg-plist Wed Mar 8 20:36:35 2006 @@ -78,7 +78,8 @@ @dirrm lib/coq/contrib7 lib/coq/ide/.coqide-gtk2rc lib/coq/ide/FAQ -lib/coq/ide/coq.png +lib/coq/ide/coq.ico +lib/coq/ide/coq2.ico lib/coq/ide/utf8.v lib/coq/ide/utf8.vo @dirrm lib/coq/ide @@ -516,7 +517,7 @@ @dirrm lib/coq share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/coq.el -share/texmf/tex/latex/misc/coqdoc.sty +share/emacs/site-lisp/coqdoc.sty @dirrmtry share/texmf/tex/latex/misc @dirrmtry share/texmf/tex/latex @dirrmtry share/texmf/tex >Release-Note: >Audit-Trail: >Unformatted: