3
我最近更新了facebook推測我的工作筆記本電腦，並試圖更新我的個人筆記本電腦推斷。它在我的工作筆記本電腦上安裝時沒有問題，但在我的個人筆記本電腦上出現錯誤（請參閱下文）。兩者都安裝了opam 1.2.2和ocaml 4.03.0。如果我執行opam init --comp=VERSION，我會看到所有內容都已更新。任何想法爲什麼brew install infer可能會失敗？`brew install infer` error
[User]-MacBook-Pro:~ [User]$ brew install infer
==> Using the sandbox
==> Downloading https://github.com/facebook/infer/releases/download/v0.9.2/infer
Already downloaded: /Users/[User]/Library/Caches/Homebrew/infer-0.9.2.tar.xz
==> ./build-infer.sh all --yes
Last 15 lines from /Users/[User]/Library/Logs/Homebrew/infer/01.build-infer.sh:
initializing opam...
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg
command on your system.
- you won't be able to use darcs repositories unless you install the darcs
command on your system.
[WARNING] Recommended external solver aspcud not found.
[ERROR] No OCaml compiler found in path. You should use:
opam init --comp=VERSION
[ERROR] Initialisation failed
OpamGlobals.Exit(66)
READ THIS: https://git.io/brew-troubleshooting
If reporting this issue please do so at (not Homebrew/brew):
https://github.com/Homebrew/homebrew-core/issues
These open issues may also help:
infer 0.9.3 https://github.com/Homebrew/homebrew-core/pull/5130
我的工作筆記本電腦在OS X El Capitan版本10.11.6上，我的筆記本電腦在macOS Sierra版本10.12上。
https://github.com/facebook/infer/issues/467