diff --git a/INSTALL.md b/INSTALL.md index e3c00955f..f812aa59c 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -22,13 +22,13 @@ is required to be able to [use the release](http://fbinfer.com/docs/getting-started.html) (faster), or to compile everything from source (see the end of this document). -- autoconf >= 2.63 and automake >= 1.11.1 - opam >= 1.2.0 (instructions [here](https://opam.ocaml.org/doc/Install.html#OSX)) - Python 2.7 - Java (only needed for the Java analysis) - clang in Xcode command line tools. You can install them with the command `xcode-select --install` (only needed for the C/Objective-C analysis) - Xcode >= 6.1 (only needed for the C/Objective-C analysis) +- autoconf >= 2.63 and automake >= 1.11.1 (if building from git) You can install some of these dependencies using [Homebrew](http://brew.sh/): @@ -46,11 +46,11 @@ is required to be able to [use the release](http://fbinfer.com/docs/getting-started.html) (faster), or to compile everything from source (see the end of this document). -- autoconf >= 2.63 and automake >= 1.11.1 -- gcc >= 4.7.2 or clang >= 3.1 (only needed for the C/Objective-C analysis) - opam >= 1.2.0 - Python 2.7 - Java (only needed for the Java analysis) +- gcc >= 4.7.2 or clang >= 3.1 (only needed for the C/Objective-C analysis) +- autoconf >= 2.63 and automake >= 1.11.1 (if building from git) See also the distro-specific instructions for Ubuntu and Debian below.