On May 27, 2020 2:20:54 AM GMT+02:00, Jeremie Courreges-Anglas
<j...@openbsd.org> wrote:
>On Mon, May 25 2020, Daniel Dickman <didick...@gmail.com> wrote:
>>> On May 25, 2020, at 5:11 AM, Christopher Zimmermann
><chr...@openbsd.org> wrote:
>>>
>>> testing needed
>>> Reply-To:
>>> In-Reply-To: <20a364d1-d8bc-441f-9814-ebe7dfc02...@gmail.com>
>>>
>>>> On Sun, May 24, 2020 at 05:23:25PM -0400, Daniel Dickman wrote:
>>>> Jeremie reported a problem on sparc64. Is it addressed in the diff
>below?
>>>>
>>>> https://marc.info/?t=158196793400003&r=1&w=2
>>>
>>> No. I forgot about this. Chances are it got fixed with Coq 8.11.1,
>but I don't have access to sparc64 hardware. Who could test on sparc64
>?
>>
>> I have a sparc64 box but it’s slow. I’ll get it started but someone
>with a faster box will definitely beat me to it.
>
>Everything looks fine on sparc64,
That's great. Thanks!
>except the lang/compcert change:
>ONLY_FOR_ARCHS should be set before ".include <bsd.arch.port.mk>", else
>it
>is ignored. Actually, ".include <bsd.arch.port.mk>" isn't needed,
>bsd.port.mk already includes that file, so please drop this line.
>
>Christopher: there's a new camlp4 release upstream with support for
>ocaml-4.10. Diff below tested on sparc64, if you want to pick it up.
>Maybe you should drop MAINTAINER for this port?
I would rather drop the port. We moved everything to camlp5 afaict. But if
anyone wants to take maintainership, that's fine with me. I'm also ok with your
diff. Plist didn't change I would suspect.
>ok jca@ for this ocaml update, with the compcert issue addressed, you
>folks know better regarding the new coq release.
>
>Index: Makefile
>===================================================================
>RCS file: /cvs/ports/lang/ocaml-camlp4/Makefile,v
>retrieving revision 1.12
>diff -u -p -r1.12 Makefile
>--- Makefile 26 Sep 2019 09:46:11 -0000 1.12
>+++ Makefile 27 May 2020 00:11:13 -0000
>@@ -3,8 +3,7 @@
> COMMENT = OCaml Preprocessor and Pretty-Printer
> CATEGORIES = lang
>
>-V = 4.08+1
>-REVISION = 0
>+V = 4.10+1
> GH_ACCOUNT = ocaml
> GH_PROJECT = camlp4
> GH_TAGNAME = ${V}
>Index: distinfo
>===================================================================
>RCS file: /cvs/ports/lang/ocaml-camlp4/distinfo,v
>retrieving revision 1.6
>diff -u -p -r1.6 distinfo
>--- distinfo 18 Sep 2019 19:42:58 -0000 1.6
>+++ distinfo 25 May 2020 23:37:14 -0000
>@@ -1,2 +1,2 @@
>-SHA256 (camlp4-4.08+1.tar.gz) =
>ZVzTvcr7+ENYd/YPS0fdLraf7vWv2IgSke8BuhK9nYg=
>-SIZE (camlp4-4.08+1.tar.gz) = 649830
>+SHA256 (camlp4-4.10+1.tar.gz) =
>nZsYgQ6DTuEeYnNqaAMTz5DBVR4iwITKK3DGgzju8p4=
>+SIZE (camlp4-4.10+1.tar.gz) = 650092
>Index: patches/patch-configure
>===================================================================
>RCS file: patches/patch-configure
>diff -N patches/patch-configure
>--- patches/patch-configure 26 Sep 2019 11:04:50 -0000 1.3
>+++ /dev/null 1 Jan 1970 00:00:00 -0000
>@@ -1,15 +0,0 @@
>-$OpenBSD: patch-configure,v 1.3 2019/09/26 11:04:50 chrisz Exp $
>-camlp4 4.08 seems to work with OCaml 4.09 just fine.
>-
>-Index: configure
>---- configure.orig
>-+++ configure
>-@@ -39,7 +39,7 @@ if [ $major -lt 4 -o \( $major -eq 4 -a $minor -lt 2
>\
>- echo "The standalone Camlp4 requires OCaml >= 4.02."
>- echo "For previous versions of OCaml use the Camlp4 distributed
>with OCaml."
>- exit 2
>--elif [ $major -ne 4 -o $minor -ne 8 ]; then
>-+elif [ $major -ne 4 -o $minor -ne 9 -a $minor -ne 8 ]; then
>- echo "This version of Camlp4 is for OCaml 4.07 but you are using
>OCaml $ocaml_version."
>- if [ -d .git ] ; then
>- if [ $PINNED -eq 1 ] ; then
