麻烦与OPAM：外部求解器故障

ocaml
opam

2017-09-25 136 views 3 likes

试图与OCaml的开发上Arch Linux的4.12.10，我一直运行到该错误消息：麻烦与OPAM：外部求解器故障

### 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。

来源

2017-09-25 Matthias Braun

回答

我必须安装包clingo，其中包含外国佬：

sudo pacman -Sy clingo

来源

2017-09-25 13:05:40

'aspcud'可能是最流行的外部求解器，以及最后我检查，这是可在拱门。 – RichouHunter

@RichouHunter：完全正确！但是，在安装'aspcud'时，我得到了问题中描述的错误。 –

aspcud或opam本身都使用gringo，所以即使使用aspcud安装gringo/clingo也是必需的。 – hcarty

麻烦与OPAM：外部求解器故障

回答

相关问题