From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 3 Dec 2013 20:40:00 +0000 (-0500)
Subject: Work around a swig segfault issue when building on  Mac OS
X-Git-Tag: cvc5-1.0.0~7216
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f8e854fef6b89e5ece7cede9299bfb2750f34780;p=cvc5.git

Work around a swig segfault issue when building on  Mac OS
---

diff --git a/src/bindings/swig.h b/src/bindings/swig.h
index 94ad91dc6..2fa6ba4f0 100644
--- a/src/bindings/swig.h
+++ b/src/bindings/swig.h
@@ -26,7 +26,11 @@
 #endif /* SWIG_VERSION */
 
 %import "cvc4_public.h"
-%import "util/tls.h"
+#warning Working around a SWIG segfault in C++ template parsing.
+//%import "util/tls.h"
+#define CVC4_THREADLOCAL(__type...) __type
+#define CVC4_THREADLOCAL_PUBLIC(__type...) CVC4_PUBLIC __type
+#define CVC4_THREADLOCAL_TYPE(__type...) __type
 
 // swig doesn't like the __thread storage class...
 #define __thread
diff --git a/src/util/tls.h.in b/src/util/tls.h.in
index 2512e481d..e13149c3a 100644
--- a/src/util/tls.h.in
+++ b/src/util/tls.h.in
@@ -195,4 +195,4 @@ public:
 
 #endif /* @CVC4_TLS_SUPPORTED@ */
 
-#endif /* _CVC4__TLS_H */
+#endif /* __CVC4__TLS_H */