From 952eb63d960931526d497d61e8d4e79059ae6262 Mon Sep 17 00:00:00 2001
From: Jared Roesch <roeschinc@gmail.com>
Date: Thu, 25 May 2017 13:41:09 -0700
Subject: [PATCH] chore(doc/make/osx): add build instructions to mac OS

---
 doc/make/osx-10.9.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/make/osx-10.9.md b/doc/make/osx-10.9.md
index c4459eb1b7..3fe6d5109f 100644
--- a/doc/make/osx-10.9.md
+++ b/doc/make/osx-10.9.md
@@ -45,3 +45,12 @@ Optional Packages: tcmalloc and ninja
 
     brew install gperftools
     brew install ninja
+
+# Build
+```bash
+cd lean
+mkdir -p build/release
+cd build/release
+cmake ../../src
+make
+```