From 29613e45adef684398716dd4191298fc6d5f10b0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 9 Dec 2013 17:45:31 -0800 Subject: [PATCH] doc(README.md): Boost support Signed-off-by: Leonardo de Moura --- README.md | 4 +++- doc/make/ubuntu-12.04-detailed.md | 12 ++++++++++++ 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index cac01c1ef..4f4df8f45 100644 --- a/README.md +++ b/README.md @@ -27,7 +27,9 @@ Requirements - [MPFR (GNU MPFR Library)](http://www.mpfr.org/) - [Lua 5.2 or 5.1](http://www.lua.org), or [LuaJIT 2.0](http://luajit.org) - (optional) [gperftools](https://code.google.com/p/gperftools/) - +- (optional) [Boost](http://www.boost.org) (version >= 1.54), we can + build Lean using boost::thread instead of std::thread. When using + Boost, Lean can modify the thread stack size. Installing required packages at -------------------------------- diff --git a/doc/make/ubuntu-12.04-detailed.md b/doc/make/ubuntu-12.04-detailed.md index 024cffcee..4df255b28 100644 --- a/doc/make/ubuntu-12.04-detailed.md +++ b/doc/make/ubuntu-12.04-detailed.md @@ -26,6 +26,10 @@ Preparing working environment on Ubuntu 12.04 sudo apt-get install doxygen sudo apt-get install kcachegrind + sudo add-apt-repository --yes ppa:boost-latest/ppa + sudo apt-get install libboost1.54-dev + sudo apt-get install libboost-thread1.54-dev + ### Fork Lean on github : https://github.com/leodemoura/lean ### Create a projects directory @@ -46,6 +50,14 @@ Preparing working environment on Ubuntu 12.04 cmake -D CMAKE_BUILD_TYPE=Debug ../../src make +### Build Lean using Boost + + cd lean + mkdir -p build/release + cd build/release + cmake -D CMAKE_BUILD_TYPE=Release -D BOOST=ON ../../src + make + ### If you are using Emacs, here are some basic configurations (custom-set-variables