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

feat(library/module): do not use threads when lean is not compiled with LEAN_MULTI_THREAD

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-23 11:32:24 -07:00
parent 46c292be71
commit a3b0200d32
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/module.cpp
View file

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