Processed: Re: Bug#919462: coq ftbfs on some release architectures
Processing control commands: > tag 919462 + pending Bug #919462 [src:coq] coq FTBFS on architectures without native OCaml backends Added tag(s) pending. -- 919462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919462 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
Bug#919462: coq ftbfs on some release architectures
Control: tag 919462 + pending Sorry for the radio silence. I misdiagnosed the issue in #10, but I have properly diagnosed it now and have a fix pending. I’m rolling the fix into my upload of 8.9.0, which should be coming in the next day.
Bug#919462: coq ftbfs on some release architectures
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
Processed: Re: Bug#919462: coq ftbfs on some release architectures
Processing control commands: > retitle 919462 coq FTBFS on architectures without native OCaml backends Bug #919462 [src:coq] coq ftbfs on some release architectures Changed Bug title to 'coq FTBFS on architectures without native OCaml backends' from 'coq ftbfs on some release architectures'. > owner 919462 ! Bug #919462 [src:coq] coq FTBFS on architectures without native OCaml backends Owner recorded as Benjamin Barenblat . -- 919462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919462 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
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
Bug#919462: coq ftbfs on some release architectures
Package: src:coq Version: 8.8.2-1 Severity: serious Tags: sid buster according to https://buildd.debian.org/status/package.php?p=coq the package fails to build at least on armel and the mips* architectures.
