sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

workaround instruction for gperftools on macOS Sierra

Browse Source
This commit is contained in:
Scott Morrison
2017-01-15 11:03:59 +11:00
committed by Leonardo de Moura
parent 3178f41cce
commit 8c723cea72
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -29,7 +29,7 @@ Requirements
- [CMake](http://www.cmake.org)
- [GMP (GNU multiprecision library)](http://gmplib.org/)
- [MPFR (GNU MPFR Library)](http://www.mpfr.org/)
- (optional) [gperftools](https://code.google.com/p/gperftools/)
- (optional) [gperftools](https://code.google.com/p/gperftools/) (There is currently an issue with gperftools on macOS Sierra. For now, either don't install it, or pass the flag `-DTCMALLOC=OFF` to CMake when building to not use it.)
Installing required packages at
--------------------------------