From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 11 Jul 2014 15:54:48 +0000 (-0400)
Subject: fix for windows build
X-Git-Tag: cvc5-1.0.0~6699
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=989a886b1674beacf037115826bdea61327135ca;p=cvc5.git

fix for windows build
---

diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp
index abe27eb06..51b4779cc 100644
--- a/src/main/portfolio.cpp
+++ b/src/main/portfolio.cpp
@@ -96,6 +96,7 @@ std::pair<int, S> runPortfolio(int numThreads,
 
 #endif /* BOOST_HAS_THREAD_ATTR */
 
+#if defined(BOOST_THREAD_PLATFORM_PTHREAD)
     if(Chat.isOn()) {
       void *stackaddr;
       size_t stacksize;
@@ -104,6 +105,7 @@ std::pair<int, S> runPortfolio(int numThreads,
       pthread_attr_getstack(&attr, &stackaddr, &stacksize);
       Chat() << "Created worker thread " << t << " with stack size " << stacksize << std::endl;
     }
+#endif
   }
 
   if(not driverFn.empty())