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