`brew install infer` error

Question

我最近更新了facebook推测我的工作笔记本电脑，并试图更新我的个人笔记本电脑推断。它在我的工作笔记本电脑上安装时没有问题，但在我的个人笔记本电脑上出现错误（请参阅下文）。两者都安装了opam 1.2.2和ocaml 4.03.0。如果我执行opam init --comp=VERSION，我会看到所有内容都已更新。任何想法为什么brew install infer可能会失败？

[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

Answer 1

解决中推断版本0.9.4.1