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

fix(util): compilation problems when using msys2

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-09-16 21:29:51 -07:00
parent f03f0aa8b9
commit 9a2f1ba423
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/lean_path.cpp
View file

@ -4,6 +4,9 @@ Released under Apache 2.0 license as described in the file LICENSE.
Author: Leonardo de Moura Author: Leonardo de Moura
*/ */
#if defined(LEAN_WINDOWS) && !defined(LEAN_CYGWIN)
#include <windows.h>
#endif
#include <string> #include <string>
#include <cstdlib> #include <cstdlib>
#include <fstream> #include <fstream>
@ -37,7 +40,6 @@ bool is_directory(char const * pathname) {
#if defined(LEAN_WINDOWS) && !defined(LEAN_CYGWIN) #if defined(LEAN_WINDOWS) && !defined(LEAN_CYGWIN)
// Windows version // Windows version
#include <windows.h>
static char g_path_sep = ';'; static char g_path_sep = ';';
static char g_sep = '\\'; static char g_sep = '\\';
static char g_bad_sep = '/'; static char g_bad_sep = '/';

1
src/util/thread.h
View file

@ -41,6 +41,7 @@ namespace this_thread = std::this_thread;
#else #else
// MULTI THREADING SUPPORT BASED ON THE BOOST LIBRARY // MULTI THREADING SUPPORT BASED ON THE BOOST LIBRARY
#include <boost/thread.hpp> #include <boost/thread.hpp>
#include <boost/atomic.hpp>
#define LEAN_THREAD_LOCAL thread_local #define LEAN_THREAD_LOCAL thread_local
namespace lean { namespace lean {
void set_thread_stack_size(size_t ); void set_thread_stack_size(size_t );