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
