Here's a minor update for coq.
One patch is no longer needed as it seemsto have been upstreamed.
Continues to work for me on amd64 (as does CompCert).
ok?
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/coq/Makefile,v
retrieving revision 1.49
diff -u -p -u -r1.49 Makefile
--- Makefile 1 Jun 2020 06:04:50 -0000 1.49
+++ Makefile 5 Jul 2020 22:37:25 -0000
@@ -2,7 +2,7 @@
COMMENT= proof assistant based on a typed lambda calculus
-V= 8.11.1
+V= 8.11.2
GH_ACCOUNT = coq
GH_PROJECT = coq
GH_TAGNAME = V${V}
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/coq/distinfo,v
retrieving revision 1.18
diff -u -p -u -r1.18 distinfo
--- distinfo 1 Jun 2020 06:04:50 -0000 1.18
+++ distinfo 5 Jul 2020 22:37:25 -0000
@@ -1,2 +1,2 @@
-SHA256 (coq-8.11.1.tar.gz) = mUyfXgsUk8FoKUb2FU74hTyd3rYUkCp/qEA6NlDVN3o=
-SIZE (coq-8.11.1.tar.gz) = 6562343
+SHA256 (coq-8.11.2.tar.gz) = mMueErolCKHKWeDGOPzie/lcNwgrb3zjVXebgLJeG/0=
+SIZE (coq-8.11.2.tar.gz) = 6564523
Index: patches/patch-Makefile_ide
===================================================================
RCS file: /cvs/ports/math/coq/patches/patch-Makefile_ide,v
retrieving revision 1.2
diff -u -p -u -r1.2 patch-Makefile_ide
--- patches/patch-Makefile_ide 6 Sep 2019 22:10:18 -0000 1.2
+++ patches/patch-Makefile_ide 5 Jul 2020 22:37:25 -0000
@@ -3,7 +3,7 @@ $OpenBSD: patch-Makefile_ide,v 1.2 2019/
Index: Makefile.ide
--- Makefile.ide.orig
+++ Makefile.ide
-@@ -190,7 +190,7 @@ endif
+@@ -187,7 +187,7 @@ endif
ifeq ($(HASCOQIDE),no)
install-coqide-byte: install-ide-toploop-byte
else
Index: patches/patch-configure_ml
===================================================================
RCS file: patches/patch-configure_ml
diff -N patches/patch-configure_ml
--- patches/patch-configure_ml 6 Sep 2019 22:10:18 -0000 1.2
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,16 +0,0 @@
-$OpenBSD: patch-configure_ml,v 1.2 2019/09/06 22:10:18 chrisz Exp $
-
-those ticks seem to prevent proper parsing in ocamlrun.
-
-Index: configure.ml
---- configure.ml.orig
-+++ configure.ml
-@@ -940,7 +940,7 @@ let config_runtime () =
- ["-dllib";"-lcoqrun";"-dllpath";coqtop/"kernel/byterun"]
- | _ ->
- let ld="CAML_LD_LIBRARY_PATH" in
-- build_loadpath := sprintf "export %s:='%s/kernel/byterun':$(%s)" ld
coqtop ld;
-+ build_loadpath := sprintf "export %s:=%s/kernel/byterun:$(%s)" ld coqtop
ld;
- ["-dllib";"-lcoqrun";"-dllpath";coqlib/"kernel/byterun"]
-
- let vmbyteflags = config_runtime ()
Index: pkg/PLIST
===================================================================
RCS file: /cvs/ports/math/coq/pkg/PLIST,v
retrieving revision 1.15
diff -u -p -u -r1.15 PLIST
--- pkg/PLIST 1 Jun 2020 06:04:50 -0000 1.15
+++ pkg/PLIST 5 Jul 2020 22:37:26 -0000
@@ -65,6 +65,9 @@ lib/ocaml/coq/coqpp/coqpp_parse.cmi
lib/ocaml/coq/coqpp/coqpp_parser.cmi
lib/ocaml/coq/dev/
@comment lib/ocaml/coq/dllcoqrun.so
+lib/ocaml/coq/doc/
+lib/ocaml/coq/doc/tools/
+lib/ocaml/coq/doc/tools/docgram/
lib/ocaml/coq/engine/
lib/ocaml/coq/engine/eConstr.cmi
lib/ocaml/coq/engine/evar_kinds.cmi
