From e06560eff491ede9c500278c4403904f2fc0c3d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 30 Nov 2011 13:05:06 +0000
Subject: [PATCH] support for threads.

---
 include/YapRegs.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/include/YapRegs.h b/include/YapRegs.h
index 1b8d69337..a8ce0d043 100644
--- a/include/YapRegs.h
+++ b/include/YapRegs.h
@@ -2,6 +2,15 @@
 
 #define YAP_REGS_H 1
 
+#ifdef THREADS
+#if USE_PTHREAD_LOCKING
+#ifndef _XOPEN_SOURCE
+#define _XOPEN_SOURCE 600
+#endif  /* !_XOPEN_SOURCE */
+#endif /* USE_PTHREAD_LOCKING */
+#include <pthread.h>
+#endif
+
 #if defined(TABLING) || defined(YAPOR_SBA)
 typedef struct trail_frame {
   Term term;