kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update lang/coq to 8.1pl3

Browse source 
hanges from V8.1pl2 to V8.1pl3
===============================
Bug fixes
- A critical bug and a few other bugs have been fixed.
This commit is contained in:
tonio 2008-01-12 11:48:39 +00:00
parent 707dd64033
commit 345108cf65
4 changed files with 14 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
doc/CHANGES-2008
View file

@ -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 @@ Changes to the packages collection and infrastructure in 2008:
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]

6
lang/coq/Makefile
View file

@ -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
HOMEPAGE= http://coq.inria.fr/

10
lang/coq/distinfo
View file

@ -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

17
lang/coq/patches/patch-aa
View file

@ -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 @@ $NetBSD: patch-aa,v 1.6 2007/12/01 13:05:37 tonio Exp $
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 @@ $NetBSD: patch-aa,v 1.6 2007/12/01 13:05:37 tonio Exp $
- $(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 @@ $NetBSD: patch-aa,v 1.6 2007/12/01 13:05:37 tonio Exp $
# -$(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|" \