尝试在 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。

    最佳答案

    我必须安装包 clingo ,其中包含外国佬:

    sudo pacman -Sy clingo
    

    关于ocaml - OPAM : External solver failure 出现问题,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/46406014/

    10-12 06:16