Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Le mercredi 08 octobre 2025 à 11:07 +0200, John Paul Adrian Glaubitz a
écrit :
> On Wed, 2025-10-08 at 11:01 +0200, Julien Puydt wrote:
> > 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...
>
> There are projects like the GCC Compile Farm that provide access to
> various
> hardware and software platforms for testing. No one needs to own all
> of that
> hardware.
>
> I also don't think they own a s390x mainframe which costs a couple of
> millions
> of Dollars, so I doubt it's this. On the other hand, they could even
> get free
> LoongArch hardware if they bothered to add LoongArch support [1].
>
> I guess it's a works-for-me project and not a community project. At
> least that's
> the impression of the OCaml project I have from what I have seen so
> far.
>
> Adrian
>
> > [1] https://github.com/ocaml/ocaml/pull/11974
I see the discussion is still ongoing, and I notice that my point about
spreading thin has been made by upstream.
I don't think they completely closed the door to the contribution, it's
just that this new arch isn't on their radar yet...
Cheers,
J.Puydt
Reply to: