OPAM的问题:外部解决器故障

Question

为了在ArchLinux4.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：

sudo pacman -Sy clingo