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
