On Tue, Jul 07, 2020 at 06:40:03PM -0400, Daniel Dickman wrote:
> 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?
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
