Sun Apr 27 10:46:16 2008 UTC ()
Bunp PKGREVISION, as it requires rebuild with ocaml 3.10.2 and cmalp5 5.08


(tonio)
diff -r1.20 -r1.21 pkgsrc/lang/coq/Makefile
diff -r1.4 -r1.5 pkgsrc/lang/coq/PLIST.opt
cvs diff -r1.20 -r1.21 pkgsrc/lang/coq/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/coq/Makefile 2008/04/12 22:43:02 1.20
+++ pkgsrc/lang/coq/Makefile 2008/04/27 10:46:16 1.21
@@ -1,17 +1,18 @@ @@ -1,17 +1,18 @@
1# $NetBSD: Makefile,v 1.20 2008/04/12 22:43:02 jlam Exp $ 1# $NetBSD: Makefile,v 1.21 2008/04/27 10:46:16 tonio Exp $
2# 2#
3 3
4DISTNAME= coq-8.1pl3 4DISTNAME= coq-8.1pl3
 5PKGREVISION= 1
5CATEGORIES= lang math 6CATEGORIES= lang math
6MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.1pl3/ 7MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.1pl3/
7 8
8MAINTAINER= richards+netbsd@CS.Princeton.EDU 9MAINTAINER= richards+netbsd@CS.Princeton.EDU
9HOMEPAGE= http://coq.inria.fr/ 10HOMEPAGE= http://coq.inria.fr/
10COMMENT= Theorem prover which extracts programs from proofs 11COMMENT= Theorem prover which extracts programs from proofs
11 12
12USE_TOOLS+= gmake 13USE_TOOLS+= gmake
13HAS_CONFIGURE= YES 14HAS_CONFIGURE= YES
14CONFIGURE_ARGS+= -prefix ${PREFIX} 15CONFIGURE_ARGS+= -prefix ${PREFIX}
15CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp 16CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp
16CONFIGURE_ARGS+= -reals all 17CONFIGURE_ARGS+= -reals all
17BUILD_TARGET= world 18BUILD_TARGET= world
cvs diff -r1.4 -r1.5 pkgsrc/lang/coq/Attic/PLIST.opt (expand / switch to unified diff)

--- pkgsrc/lang/coq/Attic/PLIST.opt 2007/01/17 11:14:46 1.4
+++ pkgsrc/lang/coq/Attic/PLIST.opt 2008/04/27 10:46:16 1.5
@@ -1,6 +1,6 @@ @@ -1,6 +1,6 @@
1@comment $NetBSD: PLIST.opt,v 1.4 2007/01/17 11:14:46 tonio Exp $ 1@comment $NetBSD: PLIST.opt,v 1.5 2008/04/27 10:46:16 tonio Exp $
2bin/coq-interface.opt 2bin/coq-interface.opt
3${WITH_IDE}bin/coqide.opt 3${PLIST.coqide}bin/coqide.opt
4bin/coqtop.opt 4bin/coqtop.opt
5bin/parser.opt 5bin/parser.opt
6man/man1/coqtop.opt.1 6man/man1/coqtop.opt.1