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