From 64f43be321e5ad4bef303831a589e1bd415e8673 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 4 Aug 2011 17:06:50 -0400
Subject: Configure correct C compiler options for Pthreads

---
 src/config.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/config.sig')

diff --git a/src/config.sig b/src/config.sig
index 65c3926b..70548b12 100644
--- a/src/config.sig
+++ b/src/config.sig
@@ -18,4 +18,7 @@ signature CONFIG = sig
 
     val versionNumber : string
     val versionString : string
+
+    val pthreadCflags : string
+    val pthreadLibs : string
 end
-- 
cgit v1.2.3