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

[Hannes Mehnert]

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
>