[opam-devel] Apscud on osx < 10.9 (was Re: aspcud 1.9.0 packages on Archlinux)

[Anil Madhavapeddy]

On 26 Mar 2014, at 23:25, Daniel Bünzli <daniel.buenzli at erratique.ch> wrote:

> Le mercredi, 26 mars 2014 à 21:26, Anil Madhavapeddy a écrit :
>> Thanks, no regression on 10.9, so I submitted it here
>> https://github.com/Homebrew/homebrew/pull/27893
> 
> Thanks.  
> 
> Btw. it wasn't really useful since it fails at each update with:
> 
> [WARNING] External solver failed with inconsistent return value. Request saved to "/Users/dbuenzli/.opam/log/solver-error-51359-1.cudf"
> 
> Is it worth reporting, IIRC quite some tweaks have been made to that on opam's HEAD since 1.1.0  ?  

It should have exactly the same behaviour on 10.8 as on 10.9, so this may just be gringo segfaulting or abort trapping.  Could you try running it manually with some illegal input to see how far it gets?

-anil