> On Jan 6, 2023, at 5:19 PM, Volker Schlecht
> 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
>
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.
Index: Makefile