Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Le mercredi 08 octobre 2025 à 10:58 +0200, John Paul Adrian Glaubitz a
écrit :
> On Wed, 2025-10-08 at 10:41 +0200, Julien Puydt wrote:
> > Ah, I forgot to answer about the whitelisting : unless they changed
> > their mind, they are not interested in supporting non-native
> > compilation, so even if it happens to work at the moment, I'm
> > reluctant
> > to start shipping packages on architectures which I know upstream
> > doesn't care about: I don't feel I would be able to do anything by
> > my
> > own if some broke at some point.
> >
> > I might close this bug as a won't-fix eventually - keeping it open
> > for
> > now to make it clear I'm not against the idea per se. I reject it
> > for
> > some good reasons, but I'd like to be proven wrong.
>
> I have to admit that I don't understand why OCaml upstream is so
> hostile
> against other architectures. They have removed basically every
> architecture
> from native support except for x86_64, arm64, ppc64el, riscv64 and
> s390x
> and they also refusing to add new ones like loongarch64.
>
> Plus, they're making it hard to use the byte compiler. Really strange
> attitude towards downstreams. But I guess I'll just ignore OCaml
> stuff
> for now.
I don't know if it's really hostility -- perhaps just missing the hands
and hardware to cover as much ground as they'd like...
J.Puydt
Reply to: