ocaml - OPAM : External solver failure 问题

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 初始化
• opam 安装 ocamlfind
• opam开关4.02.3+buckle-master

确实，如错误消息所述，附加 --use-internal-solver 可使命令成功运行。

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

我的 OPAM 版本是 1.2.2。

Answer 1

我必须安装软件包 clingo ，其中包含外国佬:

sudo pacman -Sy clingo