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 <[email protected]> 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 >> [email protected] >> http://lists.ocaml.org/listinfo/opam-devel >> > > _______________________________________________ > opam-devel mailing list > [email protected] > http://lists.ocaml.org/listinfo/opam-devel > _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
