From a3b0200d326b3428f3281b3375ae7f0e8e7c3ea7 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 23 May 2014 11:32:24 -0700 Subject: [PATCH] feat(library/module): do not use threads when lean is not compiled with LEAN_MULTI_THREAD Signed-off-by: Leonardo de Moura --- src/library/module.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/library/module.cpp b/src/library/module.cpp index 3c09c6271..1abfb91ae 100644 --- a/src/library/module.cpp +++ b/src/library/module.cpp @@ -167,6 +167,10 @@ struct import_modules_fn { m_import_counter(0), m_all_modules_imported(false) { if (m_num_threads == 0) m_num_threads = 1; +#if !defined(LEAN_MULTI_THREAD) + if (m_num_threads > 1) + m_num_threads = 1; +#endif } module_info_ptr load_module_file(std::string const & mname) {