diff options
author | markd <markd@pkgsrc.org> | 2019-09-01 00:51:46 +0000 |
---|---|---|
committer | markd <markd@pkgsrc.org> | 2019-09-01 00:51:46 +0000 |
commit | ddd9e65e12ba8e6d4270fb52a175353c64f751c9 (patch) | |
tree | 83c8cea322bc4a3bb713d6cbf1f689aea8ff03cc /lang/coq | |
parent | c69452e88f10b1a2b28aace0401140c42aa6ea63 (diff) | |
download | pkgsrc-ddd9e65e12ba8e6d4270fb52a175353c64f751c9.tar.gz |
coq: patch to build with ocaml 4.08
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 4 | ||||
-rw-r--r-- | lang/coq/distinfo | 3 | ||||
-rw-r--r-- | lang/coq/patches/patch-Makefile.build | 15 |
3 files changed, 19 insertions, 3 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 16faa6f13f6..f28ac819f9a 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.124 2019/07/21 22:25:14 wiz Exp $ +# $NetBSD: Makefile,v 1.125 2019/09/01 00:51:46 markd Exp $ # DISTNAME= coq-8.9.1 -PKGREVISION= 2 +PKGREVISION= 3 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 852b646ae4d..b6fb157ce0d 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,7 +1,8 @@ -$NetBSD: distinfo,v 1.33 2019/05/23 10:55:07 jaapb Exp $ +$NetBSD: distinfo,v 1.34 2019/09/01 00:51:46 markd Exp $ SHA1 (coq-8.9.1.tar.gz) = d26646b33922bcd9eb44ef80162f8d0513784e46 RMD160 (coq-8.9.1.tar.gz) = d82a0f7d31c0e5d7b8b566cd15d7ff9f724c250b SHA512 (coq-8.9.1.tar.gz) = 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983 Size (coq-8.9.1.tar.gz) = 6001970 bytes +SHA1 (patch-Makefile.build) = 0438c2f4084dcb411bf8fdb0e513b5769d6419a7 SHA1 (patch-Makefile.common) = f232485fddc61c51cd12ac5567b706f5f2299328 diff --git a/lang/coq/patches/patch-Makefile.build b/lang/coq/patches/patch-Makefile.build new file mode 100644 index 00000000000..6b8ac17a405 --- /dev/null +++ b/lang/coq/patches/patch-Makefile.build @@ -0,0 +1,15 @@ +$NetBSD: patch-Makefile.build,v 1.5 2019/09/01 00:51:47 markd Exp $ + +ocaml 4.08 patch + +--- Makefile.build.orig 2019-05-17 12:19:23.000000000 +0000 ++++ Makefile.build +@@ -262,7 +262,7 @@ endef + CAMLP5DEPS:=grammar/grammar.cma + CAMLP5USE=pa_extend.cmo q_MLast.cmo pa_macro.cmo -D$(CAMLVERSION) + +-PR_O := $(if $(READABLE_ML4),pr_o.cmo,pr_dump.cmo) ++PR_O := $(if $(READABLE_ML4),pr_o.cmo,) + + # Main packages linked by Coq. + SYSMOD:=-package num,str,unix,dynlink,threads |