On Wed, Jan 16, 2019 at 08:47:37AM -0500, Benjamin Barenblat wrote: > 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. >...
Any updates on that? Thanks Adrian -- "Is there not promise of rain?" Ling Tan asked suddenly out of the darkness. There had been need of rain for many days. "Only a promise," Lao Er said. Pearl S. Buck - Dragon Seed