Bug#919462: coq ftbfs on some release architectures
Control: retitle 919462 coq FTBFS on architectures without native OCaml backends
Control: owner 919462 !
Coq actually does build, but the test suite fails because I messed up
plugin loading on architectures that don’t have ocamlopt. Upstream
handles both native and bytecode worlds by installing the same file in
two different places; I found this unpalatable and just removed one of
the copies [1]. I didn’t realize at the time that the bytecode world
needed that file. I’ll look into fixing this in the next couple of days.
[1] https://salsa.debian.org/ocaml-team/coq/commit/6fabd6380fd08b6e3defdfceb137b47d4db858a3#1823cfdb97f631de92d185f9a7ef6c1f58bc9147
Reply to: