diff --git a/doc/make/osx-10.9.md b/doc/make/osx-10.9.md
index 6884ed24e6..f58f7c8151 100644
--- a/doc/make/osx-10.9.md
+++ b/doc/make/osx-10.9.md
@@ -1,17 +1,50 @@
 Install Packages on OS X 10.9
 -----------------------------
-We assume that you are using [homebrew][homebrew], "The missing package manager for OS X".
+We assume that you are using [homebrew][homebrew] as a package manager.
 
 [homebrew]: http://brew.sh
 
-Instructions for installing gperftools on OS X 10.9
 
-    brew install gperftools
+Compilers
+---------
 
-Instructions for installing gcc-4.8.3 (C++11 compatible) on OS X 10.9
+You need a C++11-compatible compiler to build Lean. As of November
+2014, you have three options:
+
+ - clang++-3.5 (shipped with OSX, Apple LLVM version 6.0)
+ - gcc-4.9.1 (homebrew)
+ - clang++-3.5 (homebrew)
+
+We recommend to use Apple's clang++ because it is pre-shipped with OS
+X and requires no further installation.
+
+To install gcc-4.9.1 via homebrew, please execute:
 
     brew install gcc
 
-Instructions for installing clang-3.3 (C++11 compatible) on OS X 10.9
+To install clang++-3.5 via homebrew, please execute:
 
     brew install llvm --with-clang --with-asan
+
+To use compilers other than the default one (Apple's clang++), you
+need to use `-DCMAKE_CXX_COMPILER` option to specify the compiler
+that you want to use when you run `cmake`. For example, do the
+following to use `g++`.
+
+    cmake -DCMAKE_CXX_COMPILER=g++-4.9 ...
+
+
+Required Packages: CMake, GMP, MPFR, LUA
+---------------------
+
+    brew install cmake
+    brew install gmp
+    brew install mpfr
+    brew install lua
+
+
+Optional Packages: tcmalloc and ninja
+-------------------------------------
+
+    brew install gperftools
+    brew install ninja