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。
'aspcud'可能是最流行的外部求解器,以及最後我檢查,這是可在拱門。 – RichouHunter
@RichouHunter:完全正確!但是,在安裝'aspcud'時,我得到了問題中描述的錯誤。 –
aspcud或opam本身都使用gringo,所以即使使用aspcud安裝gringo/clingo也是必需的。 – hcarty