diff options
author | tonio <tonio> | 2006-01-16 14:34:34 +0000 |
---|---|---|
committer | tonio <tonio> | 2006-01-16 14:34:34 +0000 |
commit | a0aeed62d8dd252fcd9df95adcc9c22ca151e8f8 (patch) | |
tree | 2f627901ae87874a5b180176a6f9a028b862d438 /lang | |
parent | 7ccb9dc1db2b5b553555b44e9f0a8ac8575f551b (diff) | |
download | pkgsrc-a0aeed62d8dd252fcd9df95adcc9c22ca151e8f8.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')
-rw-r--r-- | lang/coq/Makefile | 5 | ||||
-rw-r--r-- | lang/coq/distinfo | 4 | ||||
-rw-r--r-- | lang/coq/patches/patch-aa | 28 |
3 files changed, 26 insertions, 11 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" diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 833eb4c4db4..16f0de12fae 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,6 @@ -$NetBSD: distinfo,v 1.3 2005/02/24 09:03:06 agc Exp $ +$NetBSD: distinfo,v 1.4 2006/01/16 14:34:34 tonio Exp $ SHA1 (coq-8.0pl2.tar.gz) = 58d0c054c9b50ef12b462f97df2424ee3baa25ab RMD160 (coq-8.0pl2.tar.gz) = ead90ff5957ccc9cbcd0f3769b75a7fb440b383b Size (coq-8.0pl2.tar.gz) = 2285855 bytes -SHA1 (patch-aa) = e62e14729a2dacd7e6e9aa4418c911b34cc4aee5 +SHA1 (patch-aa) = 1e2592d494be250de76debfb79687611d4b7b870 diff --git a/lang/coq/patches/patch-aa b/lang/coq/patches/patch-aa index 2d9b9229fb0..c612b8de3a7 100644 --- a/lang/coq/patches/patch-aa +++ b/lang/coq/patches/patch-aa @@ -1,8 +1,8 @@ -$NetBSD: patch-aa,v 1.2 2005/02/05 11:19:02 adrianp Exp $ +$NetBSD: patch-aa,v 1.3 2006/01/16 14:34:34 tonio Exp $ ---- Makefile.orig 2004-07-19 11:37:31.000000000 +0200 -+++ Makefile 2005-01-20 12:15:39.000000000 +0100 -@@ -608,22 +608,22 @@ +--- Makefile.orig 2006-01-16 15:09:17.000000000 +0100 ++++ Makefile +@@ -608,22 +608,22 @@ install-coqide:: install-ide-$(HASCOQIDE install-ide-no: install-ide-byte: @@ -33,7 +33,7 @@ $NetBSD: patch-aa,v 1.2 2005/02/05 11:19:02 adrianp Exp $ ########################################################################### # Pcoq: special binaries for debugging (coq-interface, parser) -@@ -700,18 +700,18 @@ +@@ -700,18 +700,18 @@ clean:: install-pcoq:: install-pcoq-binaries install-pcoq-files install-pcoq-manpages install-pcoq-binaries:: @@ -58,7 +58,7 @@ $NetBSD: patch-aa,v 1.2 2005/02/05 11:19:02 adrianp Exp $ ########################################################################### # tests -@@ -1146,18 +1146,18 @@ +@@ -1146,18 +1146,18 @@ install-coqlight: install-binaries insta install-binaries:: install-$(BEST) install-tools install-byte:: @@ -83,7 +83,7 @@ $NetBSD: patch-aa,v 1.2 2005/02/05 11:19:02 adrianp Exp $ LIBFILES=$(OLDTHEORIESVO) $(OLDCONTRIBVO) LIBFILESLIGHT=$(OLDTHEORIESLIGHTVO) -@@ -1168,61 +1168,65 @@ +@@ -1168,61 +1168,65 @@ NEWLIBFILESLIGHT=$(NEWTHEORIESLIGHTVO) install-library: install-library7 install-library8 install-library8: @@ -175,3 +175,17 @@ $NetBSD: patch-aa,v 1.2 2005/02/05 11:19:02 adrianp Exp $ # -$(UPDATETEX) ########################################################################### +@@ -1453,11 +1457,11 @@ ML4FILES += lib/pp.ml4 \ + + .ml4.cmx: + $(SHOW)'OCAMLOPT4 $<' +- $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< ++ $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $< + + .ml4.cmo: + $(SHOW)'OCAMLC4 $<' +- $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< ++ $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $< + + #.v.vo: + # $(BOOTCOQTOP) -compile $* |