2017-09-25 68 views
3

試圖與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。

回答

6

我必須安裝包clingo,其中包含外國佬:

sudo pacman -Sy clingo 
+0

'aspcud'可能是最流行的外部求解器,以及最後我檢查,這是可在拱門。 – RichouHunter

+0

@RichouHunter:完全正確!但是,在安裝'aspcud'時,我得到了問題中描述的錯誤。 –

+0

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