OPAM问题:外部解算器失败

Question

尝试在Arch Linux 4.12.10上使用OCaml进行开发,我一直遇到这个错误消息:

### stderr ###
# error: executing gringo failed (No such file or directory)
# error: gringo returned with non-zero exit status

[ERROR] External solver failure, please fix your installation and check /home/me/.opam/config and variable $OPAMEXTERNALSOLVER.
        You may also retry with option --use-internal-solver

例如,使用以下命令会发生这种情况

• opam init
• opam install ocamlfind
• opam switch 4.02.3+buckle-master

实际上,正如错误消息所示,追加--use-internal-solver使命令成功运行.

但是有适当的解决方案吗？

我的OPAM版本是1.2.2.

Answer 1

我不得不安装包含gringo的包clingo:

sudo pacman -Sy clingo