On Tue, May 26, 2020 at 10:57 PM Christopher Zimmermann
<chr...@openbsd.org> wrote:
>
>
>
> 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!
>
>From your big ocaml diff, OK daniel@ to update:
- coq
- ocaml-camlp4
(since Jeremie retested on sparc64)
I did notice PLIST changes for ocaml-ocamlbuild. Is it expected? Why
does it change for a newer version of ocaml?
As for Compcert, I will update it shortly (taking a bit of time for me
as I recently rebuilt my box to pickup the recent FFS2 changes)
I don't think the patch you suggested for compcert is a good idea though:
-ONLY_FOR_ARCHS = amd64 i386
+ONLY_FOR_ARCHS = ${OCAML_NATIVE_ARCHS}
For this port, ONLY_FOR_ARCHS is supposed to be tied to the list of
compcert back-ends. It is independant from the OCAML native archs, no?
Was there a reason you wanted to make this change?
Once all this has gone in, let's do the ocaml update and revision
bumps separately.
p.s. I was looking at updating ocaml-menhir recently (which compcert
needs), but it seems like we need to move to a newer dune to update
ocaml-menhir any further. But dune cannot be updated without first
fixing some of the ports that use dune to support newer dune versions.
Do you have any diffs for this already?
