CVS commit: pkgsrc/lang/coq

["Mark Davies" <markd%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   markd
Date:           Sun Sep  1 00:51:47 UTC 2019

Modified Files:
        pkgsrc/lang/coq: Makefile distinfo
Added Files:
        pkgsrc/lang/coq/patches: patch-Makefile.build

Log Message:
coq: patch to build with ocaml 4.08


To generate a diff of this commit:
cvs rdiff -u -r1.124 -r1.125 pkgsrc/lang/coq/Makefile
cvs rdiff -u -r1.33 -r1.34 pkgsrc/lang/coq/distinfo
cvs rdiff -u -r0 -r1.5 pkgsrc/lang/coq/patches/patch-Makefile.build

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.124 pkgsrc/lang/coq/Makefile:1.125
--- pkgsrc/lang/coq/Makefile:1.124      Sun Jul 21 22:25:14 2019
+++ pkgsrc/lang/coq/Makefile    Sun Sep  1 00:51:46 2019
@@ -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/_/+/}

Index: pkgsrc/lang/coq/distinfo
diff -u pkgsrc/lang/coq/distinfo:1.33 pkgsrc/lang/coq/distinfo:1.34
--- pkgsrc/lang/coq/distinfo:1.33       Thu May 23 10:55:07 2019
+++ pkgsrc/lang/coq/distinfo    Sun Sep  1 00:51:46 2019
@@ -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

Added files:

Index: pkgsrc/lang/coq/patches/patch-Makefile.build
diff -u /dev/null pkgsrc/lang/coq/patches/patch-Makefile.build:1.5
--- /dev/null   Sun Sep  1 00:51:47 2019
+++ pkgsrc/lang/coq/patches/patch-Makefile.build        Sun Sep  1 00:51:47 2019
@@ -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