| Server IP : 82.208.35.60 / Your IP : 216.73.217.33 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/cvc4/files/ |
Upload File : |
--- src/main/portfolio.cpp.orig 2018-04-22 17:42:48 UTC
+++ src/main/portfolio.cpp
@@ -18,6 +18,9 @@
#include <boost/bind.hpp>
#include <boost/thread/condition.hpp>
#include <boost/exception_ptr.hpp>
+#ifdef __FreeBSD__
+#include <pthread_np.h>
+#endif
#include "base/output.h"
#include "options/options.h"
@@ -100,7 +103,11 @@ std::pair<int, S> runPortfolio(int numThreads,
void *stackaddr;
size_t stacksize;
pthread_attr_t attr;
+#ifdef __linux__
pthread_getattr_np(threads[t].native_handle(), &attr);
+#elif __FreeBSD__
+ pthread_attr_get_np(threads[t].native_handle(), &attr);
+#endif
pthread_attr_getstack(&attr, &stackaddr, &stacksize);
Chat() << "Created worker thread " << t << " with stack size " << stacksize << std::endl;
}