[pkgsrc/trunk]: pkgsrc Update lang/coq to 8.1pl3

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/d76dc1e7c68a
branches:  trunk
changeset: 537619:d76dc1e7c68a
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sat Jan 12 11:48:39 2008 +0000

description:
Update lang/coq to 8.1pl3

hanges from V8.1pl2 to V8.1pl3
===============================
Bug fixes
- A critical bug and a few other bugs have been fixed.

diffstat:

 doc/CHANGES-2008          |   3 ++-
 lang/coq/Makefile         |   6 +++---
 lang/coq/distinfo         |  10 +++++-----
 lang/coq/patches/patch-aa |  17 ++++-------------
 4 files changed, 14 insertions(+), 22 deletions(-)

diffs (89 lines):

diff -r 3913bf3f6733 -r d76dc1e7c68a doc/CHANGES-2008
--- a/doc/CHANGES-2008  Sat Jan 12 11:36:28 2008 +0000
+++ b/doc/CHANGES-2008  Sat Jan 12 11:48:39 2008 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2008,v 1.100 2008/01/12 06:21:40 taca Exp $
+$NetBSD: CHANGES-2008,v 1.101 2008/01/12 11:49:18 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2008:
 
@@ -157,3 +157,4 @@
        Added chat/smirk version 20080111 [bjs 2008-01-12]
        Removed net/ja-samba [taca 2008-01-12]
        Updated www/squid to 2.6.18 [taca 2008-01-12]
+       Updated lang/coq to 8.1pl3 [tonio 2008-01-12]
diff -r 3913bf3f6733 -r d76dc1e7c68a lang/coq/Makefile
--- a/lang/coq/Makefile Sat Jan 12 11:36:28 2008 +0000
+++ b/lang/coq/Makefile Sat Jan 12 11:48:39 2008 +0000
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile,v 1.18 2007/12/01 13:05:36 tonio Exp $
+# $NetBSD: Makefile,v 1.19 2008/01/12 11:48:39 tonio Exp $
 #
 
-DISTNAME=      coq-8.1pl2
+DISTNAME=      coq-8.1pl3
 CATEGORIES=    lang math
-MASTER_SITES=  ftp://ftp.inria.fr/INRIA/coq/V8.1pl2/
+MASTER_SITES=  ftp://ftp.inria.fr/INRIA/coq/V8.1pl3/
 
 MAINTAINER=    richards+netbsd%CS.Princeton.EDU@localhost
 HOMEPAGE=      http://coq.inria.fr/
diff -r 3913bf3f6733 -r d76dc1e7c68a lang/coq/distinfo
--- a/lang/coq/distinfo Sat Jan 12 11:36:28 2008 +0000
+++ b/lang/coq/distinfo Sat Jan 12 11:48:39 2008 +0000
@@ -1,7 +1,7 @@
-$NetBSD: distinfo,v 1.7 2007/12/01 13:05:36 tonio Exp $
+$NetBSD: distinfo,v 1.8 2008/01/12 11:48:40 tonio Exp $
 
-SHA1 (coq-8.1pl2.tar.gz) = 33ab31abffe42559a5c8341b66a0520805337526
-RMD160 (coq-8.1pl2.tar.gz) = e45451fdd41b1f979febcfb2c0dbd19a39d09256
-Size (coq-8.1pl2.tar.gz) = 2997185 bytes
-SHA1 (patch-aa) = 4a518e52aea4a2e239754b6a8123b9a2fdaefa00
+SHA1 (coq-8.1pl3.tar.gz) = c06141891c2a793ff6b4bc1f106d9477b3a9a52e
+RMD160 (coq-8.1pl3.tar.gz) = f8f4749e1014cb47a83915550713cf9ce1992e34
+Size (coq-8.1pl3.tar.gz) = 3003593 bytes
+SHA1 (patch-aa) = bdfe2986da84b13c7df383caf969858707be83f3
 SHA1 (patch-ab) = b252096b0bef5fee0a2f719ddc17021fd013ed64
diff -r 3913bf3f6733 -r d76dc1e7c68a lang/coq/patches/patch-aa
--- a/lang/coq/patches/patch-aa Sat Jan 12 11:36:28 2008 +0000
+++ b/lang/coq/patches/patch-aa Sat Jan 12 11:48:39 2008 +0000
@@ -1,6 +1,6 @@
-$NetBSD: patch-aa,v 1.6 2007/12/01 13:05:37 tonio Exp $
+$NetBSD: patch-aa,v 1.7 2008/01/12 11:48:40 tonio Exp $
 
---- Makefile.orig      Thu Oct 11 15:44:00 2007
+--- Makefile.orig      Mon Nov 12 16:10:25 2007
 +++ Makefile
 @@ -690,22 +690,22 @@ install-coqide:: install-ide-$(HASCOQIDE
  install-ide-no:
@@ -89,7 +89,7 @@
  
  LIBFILES=$(THEORIESVO) $(CONTRIBVO)
  LIBFILESLIGHT=$(THEORIESLIGHTVO)
-@@ -1272,52 +1271,55 @@ OBJECTCMA=lib/lib.cma kernel/kernel.cma 
+@@ -1274,52 +1273,55 @@ OBJECTCMA=lib/lib.cma kernel/kernel.cma 
  OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
  
  install-library:
@@ -104,7 +104,7 @@
 -      $(MKDIR) $(FULLCOQLIB)/states
 -      cp states/*.coq $(FULLCOQLIB)/states
 -      $(MKDIR) $(FULLCOQLIB)/user-contrib
--      cp $(OBJECTCMA) $(OBJECTCMXA) $(FULLCOQLIB)
+-      cp $(OBJECTCMA) $(OBJECTCMXA) $(GRAMMARCMA) $(FULLCOQLIB)
 +      ${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/states
 +      ${BSD_INSTALL_DATA} states/*.coq $(FULLCOQLIB)/states
 +      ${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/user-contrib
@@ -166,12 +166,3 @@
  #     -$(UPDATETEX)
  
  ###########################################################################
-@@ -1758,7 +1760,7 @@ depend: dependp4 ml4filesml $(BEFOREDEPE
-       for f in $(ML4FILES); do \
-         bn=`dirname $$f`/`basename $$f .ml4`; \
-         deps=`$(CAMLP4DEPS) $$f`; \
--        if [[ $${deps} != "" ]]; then \
-+        if [ "$${deps}" != "" ]; then \
-           /bin/mv -f .depend .depend.tmp; \
-           sed -e "\|^$${bn}.cmo|s|^$${bn}.cmo: \(.*\)$$|$${bn}.cmo: $${deps} \1|" \
-               -e "\|^$${bn}.cmx|s|^$${bn}.cmx: \(.*\)$$|$${bn}.cmx: $${deps} \1|" \