Opam init - Solver Fail (Debian) - PullRequest
Новая
       76

Opam init - Solver Fail (Debian)

0 голосов
/ 23 апреля 2020

Привет всем,
Я установил opam, и когда я запускаю: 

opam 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.
Если вам нужна дополнительная информация, просто спросите меня, спасибо всем.

1 Ответ

1 голос
/ 23 апреля 2020

У меня была такая же проблема вчера: она связана с несоответствием версии Python (3.7 против 3.6).

Я решил ее, удалив пакет Debian OPAM и установив OPAM с помощью сценария установки, который на репозитории github:

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

...