michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/doc/make/osx-10.8.md
Leonardo de Moura b92a3e482d Create doc directory for documentation. Move wiki pages to doc. Reorganize README.md 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-09-13 10:57:45 -07:00

512 B
Raw Blame History

Install Packages on OS X 10.8

We assume that you are using homebrew, "The missing package manager for OS X".

Instructions for installing gperftools on OS X 10.8

$ brew install gperftools

Instructions for installing gcc-4.8 (C++11 compatible) on OS X 10.8

$ brew tap homebrew/versions
$ brew install gcc48

Instructions for installing clang-3.3 (C++11 compatible) on OS X 10.8

$ brew install llvm --with-clang --with-asan