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

[Louis Gesbert]

Le lundi 1 février 2016, 12:01:43 Anil Madhavapeddy a écrit :
> 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 high value for OPAMVERBOSE shows just that :)

Also, let me remind you of the different alternatives to aspcud, just in 
case:
http://opam.ocaml.org/doc/Install.html#ExternalSolvers

Although it would obviously be best if we got aspcud working. Thanks for the 
effort!

Louis