diff --git a/INSTALL.md b/INSTALL.md
index d438565cb..fb202c09d 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -25,12 +25,13 @@ is required to compile everything from source.
 - Xcode >= 6.1 (only needed for the C/Objective-C analysis)
 - autoconf >= 2.63 and automake >= 1.11.1 (if building from git)
 - gmp
+- mpfr
 
 You can install some of these dependencies using
 [Homebrew](http://brew.sh/):
 
 ```sh
-brew install autoconf automake cmake opam pkg-config sqlite gmp
+brew install autoconf automake cmake opam pkg-config sqlite gmp mpfr
 brew cask install java
 ```