OPAM 问题:外部求解器故障
Trouble with OPAM: External solver failure
尝试在 Arch Linux 4.12.10 上使用 OCaml 进行开发,我 运行ning 收到此错误消息:
### 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
尝试在 Arch Linux 4.12.10 上使用 OCaml 进行开发,我 运行ning 收到此错误消息:
### 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