<commit_before>Install Packages on OS X 10.8
-----------------------------
We assume that you are using [homebrew][homebrew], "The missing package manager for OS X".

[homebrew]: http://brew.sh

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<commit_msg>doc(cmake/osx10.8): add note regarding multi-thread support on OSX<commit_after>Install Packages on OS X 10.8
-----------------------------
We assume that you are using [homebrew][homebrew], "The missing package manager for OS X".

[homebrew]: http://brew.sh

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

It seems there is a bug in the implementation of `thread_local`
storage specifier on clang++ and g++ on OSX. One possible
workaround is to disable multi threaded support in Lean, we just have to provide
the option

    -D MULTI_THREAD=OFF

to `cmake` when creating Lean's makefiles. This option is simple, but
Lean is use only one core of your system. Another option is to
install Boost and provide the option

    -D BOOST=ON

to `cmake`. This option forces Lean to use the Boost thread library
instead of the standard one. To install Boost, we should use the following command

    brew install boost --c++11

Note that, we have to say we want the C++11 compatible version.
{'fraction_non_alphanumeric': 0.09888268156424582, 'fraction_numerical': 0.028491620111731845, 'mean_word_length': 3.234042553191489, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6095745', 'n_tokens_mistral': 552, 'n_tokens_neox': 504, 'n_words': 247}