ports/93954: math/coq: update to version 8.0p3

[Johan van Selst]

>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 at 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 at 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: