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
