[opam-devel] Apscud on osx < 10.9 (was Re: aspcud 1.9.0 packages on Archlinux)
anil at recoil.org
Thu Mar 27 11:18:33 GMT 2014
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
> 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?
More information about the opam-devel