From 4bc7a4d32a8e60adcb4cdf70fc06ba6e1cf690fa Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 31 Oct 2014 09:48:27 -0700 Subject: [PATCH] doc(make/osx-10.9.md): update available compilers and required/optional pacakges [skip ci] --- doc/make/osx-10.9.md | 43 ++++++++++++++++++++++++++++++++++++++----- 1 file changed, 38 insertions(+), 5 deletions(-) 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