Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
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.
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer
`. `' Physicist
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
Reply to: