Date: Tue, 28 Feb 2006 21:41:22 +0100 (CET) From: Johan van Selst <johans@stack.nl> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/93954: math/coq: update to version 8.0p3 Message-ID: <20060228204122.EA8D122A09@mud.stack.nl> Resent-Message-ID: <200602282050.k1SKo6Ie092431@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 93954 >Category: ports >Synopsis: math/coq: update to version 8.0p3 >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: Tue Feb 28 20:50:05 GMT 2006 >Closed-Date: >Last-Modified: >Originator: Johan van Selst >Release: FreeBSD 6.0-STABLE i386 >Organization: >Environment: System: FreeBSD mud.stack.nl 6.0-STABLE FreeBSD 6.0-STABLE #9: Wed Jan 11 14:40:03 CET 2006 johans@mud.stack.nl:/usr/obj/usr/src/sys/mud i386 >Description: Update to latest stable version 8.0pl3 Also removed WITH_IDE as default option, since this won't work anymore due to broken dependency. >How-To-Repeat: >Fix: diff -uNr coq/Makefile coq/Makefile --- coq/Makefile Thu Dec 8 04:06:29 2005 +++ coq/Makefile Tue Feb 28 21:27:48 2006 @@ -6,12 +6,12 @@ # 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 @@ -21,7 +21,6 @@ USE_GMAKE= yes ALL_TARGET= world -WITH_IDE= yes HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix ${PREFIX} @@ -34,7 +33,7 @@ .include <bsd.port.pre.mk> .if ${ARCH} == "ia64" -BROKEN= "OCaml bug prevents compilation" +BROKEN= OCaml bug prevents compilation .endif .if defined(WITH_IDE) || exists(${LOCALBASE}/bin/lablgtk2) diff -uNr coq/distinfo coq/distinfo --- coq/distinfo Thu Dec 8 04:06:29 2005 +++ coq/distinfo Tue Feb 28 20:59:36 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 -uNr coq/pkg-plist coq/pkg-plist --- coq/pkg-plist Sun Jan 22 09:52:37 2006 +++ coq/pkg-plist Tue Feb 28 21:22:06 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,6 @@ @dirrm lib/coq share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/coq.el -share/texmf/tex/latex/misc/coqdoc.sty @dirrmtry share/texmf/tex/latex/misc @dirrmtry share/texmf/tex/latex @dirrmtry share/texmf/tex >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20060228204122.EA8D122A09>