Opam init - 解算器失败 (Debian)

Question

大家好，我安装了opam，当我运行时。

opam init

init失败，给我这个错误。

[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"

我怎么才能解决这个问题？opam的版本是2.0.3，操作系统是Debian。如果你需要更多的细节就问我，谢谢大家。

Answer 1

我昨天也遇到了同样的问题：这与Python版本不一致有关 (3.7 vs 3.6)。

我通过删除OPAM debian包，然后用github repo上的安装脚本安装OPAM来解决这个问题。

https:/raw.githubusercontent.comocamlopammastershellinstall.sh。