CODEWITHSUNDEEP
debianocamlopam
Dark Helmet
Dark Helmet

Reputation: 81

Opam init - Solver Fail (Debian)

Hy everyone,
I installed opam and when i run:

opam init

the init fails and give me this error:

[ERROR] Solver failed: "/usr/bin/aspcud /tmp/opam-xxx-15/solver-in-15-548b09 /tmp/opam-xxx-15/solver-out-15-8b8a2d
    -count(removed),-sum(request,version-lag),-count(down),-sum(solution,version-lag),-count(changed)" exited with
    code 1 "ERROR: grounder returned with non-zero exit status"

how can i Fix it?
The opam version is 2.0.3 and the OS is Debian.
If you need more details just ask me, thank you all.

Upvotes: 0

Views: 234

Answers (1)

Anthony Scemama
Anthony Scemama

Reputation: 1593

I had the same problem yesterday: it is related to a Python version inconsistency (3.7 vs 3.6).

I solved it by removing the OPAM debian package and installing OPAM with the install script which is on the github repo:

https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh

Upvotes: 1

Related Questions