diff options
| author | tonio <tonio@pkgsrc.org> | 2006-01-16 14:34:34 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2006-01-16 14:34:34 +0000 |
| commit | 746cb923d3efe8db4a79bf49aca9b2503f2e3b93 (patch) | |
| tree | 2f627901ae87874a5b180176a6f9a028b862d438 /lang/coq/Makefile | |
| parent | 370f766de86cfe21f0b8a4652fd50b8831c3860d (diff) | |
| download | pkgsrc-746cb923d3efe8db4a79bf49aca9b2503f2e3b93.tar.gz | |
Make lang/coq compile with ocaml 3.09
by applying the patch distributed by the coq team
Bump PKGREVISION, and require ocaml >= 3.09
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index d5a5f9b1b87..ff8335f6837 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.10 2005/05/22 20:08:09 jlam Exp $ +# $NetBSD: Makefile,v 1.11 2006/01/16 14:34:34 tonio Exp $ # DISTNAME= coq-8.0pl2 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ @@ -16,7 +17,7 @@ CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp CONFIGURE_ARGS+= -reals all BUILD_TARGET= world -BUILDLINK_DEPENDS.ocaml+= ocaml>=3.06 +BUILDLINK_DEPENDS.ocaml+= ocaml>=3.09 .include "../../mk/bsd.prefs.mk" |