Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Hi Stéphane,
On Wed, 2025-10-08 at 09:14 +0200, Stéphane Glondu wrote:
> Le 28/03/2025 à 08:16, John Paul Adrian Glaubitz a écrit :
> > Could you therefore limit the ocaml-native-compilers build-dependency to the
> > architectures which actually have a native OCaml compiler and allow the other
> > architectures to use byte-code?
>
> The goal to put ocaml-native-compilers in Build-Depends was exactly to
> avoid builds on bytecode architecture... Because at that time, coq was
> randomly broken and upstream did not want to support that configuration.
I verified that it builds fine on multiple targets without native compiler
support.
> Did something change?
Looks like as the failures are gone.
> If bytecode is fully supported, then the simplest would be to remove
> ocaml-native-compilers from Build-Depends altogether.
OK.
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer
`. `' Physicist
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
Reply to: