[pkgsrc/trunk]: pkgsrc/lang/coq coq: patch to build with ocaml 4.08

[markd <markd%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/942d23407d72
branches:  trunk
changeset: 338882:942d23407d72
user:      markd <markd%pkgsrc.org@localhost>
date:      Sun Sep 01 00:51:46 2019 +0000

description:
coq: patch to build with ocaml 4.08

diffstat:

 lang/coq/Makefile                     |   4 ++--
 lang/coq/distinfo                     |   3 ++-
 lang/coq/patches/patch-Makefile.build |  15 +++++++++++++++
 3 files changed, 19 insertions(+), 3 deletions(-)

diffs (46 lines):

diff -r 451f541106a1 -r 942d23407d72 lang/coq/Makefile
--- a/lang/coq/Makefile Sun Sep 01 00:48:42 2019 +0000
+++ b/lang/coq/Makefile Sun Sep 01 00:51:46 2019 +0000
@@ -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 -r 451f541106a1 -r 942d23407d72 lang/coq/distinfo
--- a/lang/coq/distinfo Sun Sep 01 00:48:42 2019 +0000
+++ b/lang/coq/distinfo Sun Sep 01 00:51:46 2019 +0000
@@ -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 -r 451f541106a1 -r 942d23407d72 lang/coq/patches/patch-Makefile.build
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/coq/patches/patch-Makefile.build     Sun Sep 01 00:51:46 2019 +0000
@@ -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