> On Jan 6, 2023, at 5:19 PM, Volker Schlecht <openbsd-po...@schlecht.dev>
> wrote:
>
> As discussed off-list, here's an update to lang/compcert.
> Builds and tests ok on amd64, builds ok on i386 with test failures in
> test/abi.
>
> "sharedir" is now a configure option upstream, so I removed those parts from
> patch-configure and added the share path to CONFIGURE_ARGS.
> <compcert-3.12.diff>
This is committed. I suggest getting coq updated next. The version we have in
tree was tested with ocaml versions up to 4.11 if I remember correctly. So it’s
a bit stale.
I suggest going to ocaml 4.13 next so whatever version of coq was tested with
ocaml 4.13 should be good.
Compcert 3.12 supports up to coq 8.15.2. So definitely nothing newer than that
version.
