michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

doc(make/osx-10.9.md): update available compilers and required/optional pacakges

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2014-10-31 09:48:27 -07:00
parent c56274d821
commit 4bc7a4d32a
1 changed files with 38 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

43
doc/make/osx-10.9.md
View file

@ -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