Hello, 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.
Did something change?If bytecode is fully supported, then the simplest would be to remove ocaml-native-compilers from Build-Depends altogether.
Cheers, -- Stéphane