[opam-devel] odd error with aspcud on alpine linux

[Anil Madhavapeddy]

Thanks! It's almost certainly the incorrect Gringo version.  Porting the solver suite is an incredibly fragile process... :-/

-anil

> On 1 Feb 2016, at 13:39, Hannes Mehnert <hannes at mehnert.org> wrote:
> 
> There was a similar strange issue on Arch Linux..
> https://github.com/ocaml/opam/issues/2203 maybe related?
> 
> hannes
> 
> On 02/ 1/16 12:01 PM, Anil Madhavapeddy wrote:
>> I've been porting OPAM to Alpine Linux, and have some very odd errors with Aspcud that I was hoping someone could help with.  The solver pieces are all compiled and should have the right versions, but fail with an inconsistency error.
>> 
>> To reproduce it, you need Docker and:
>> 
>> $ docker run -ti ocaml/opam:alpine sh
>> $ opam install cohttp lwt
>> [WARNING] External solver failed with inconsistent return value. Request saved to
>>          "/home/opam/.opam/log/solver-error-13-1.cudf"
>> [ERROR] External solver failure, please fix your installation and check /home/opam/.opam/config and variable
>>        $OPAMEXTERNALSOLVER.
>>        You may also retry with option --use-internal-solver
>> 
>> $ apk info aspcud
>> aspcud-1.9.1-r0 description:
>> Package dependency solver
>> 
>> aspcud-1.9.1-r0 webpage:
>> http://potassco.sourceforge.net/
>> 
>> aspcud-1.9.1-r0 installed size:
>> 405504
>> 
>> $ apk info gringo
>> gringo-4.5.3-r0 description:
>> Grounder to translate user-provided logic programs
>> 
>> gringo-4.5.3-r0 webpage:
>> http://potassco.sourceforge.net/
>> 
>> gringo-4.5.3-r0 installed size:
>> 4239360
>> 
>> $ apk info clasp
>> clasp-3.1.3-r0 description:
>> Answer set solver for (extended) normal logic programs
>> 
>> clasp-3.1.3-r0 webpage:
>> http://potassco.sourceforge.net/
>> 
>> clasp-3.1.3-r0 installed size:
>> 1101824
>> 
>> Is there something about this combination of versions that is broken?  It would be nice to have an opam selftest that makes it easier to find the stdout/stderrs of these solver pieces to figure it out, as OPAMDEBUG doesn't quite provide the command line and input/outputs to the shell commands.
>> 
>> -a
>> 
>> 
>> 
>> 
>> _______________________________________________
>> opam-devel mailing list
>> opam-devel at lists.ocaml.org
>> http://lists.ocaml.org/listinfo/opam-devel
>> 
> 
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
>