Jeremie reported a problem on sparc64. Is it addressed in the diff below? https://marc.info/?t=158196793400003&r=1&w=2
> On May 24, 2020, at 2:19 PM, Christopher Zimmermann <chr...@openbsd.org> > wrote: > > > Hi, > > this is the only port not yet compatible with OCaml 4.10. OK to upgrade? > Compcert was only tested by building simple hello world program. > > Christopher > > > -- > http://gmerlin.de > OpenPGP: http://gmerlin.de/christopher.pub > CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1 > <compcert.diff> > <coq.diff>