From f92289880fd8457a080e150cb50f0fa2af3eff9c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 May 2011 13:31:53 -0400
Subject: Configuration detects proper header files for database dev libraries

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

(limited to 'src/config.sig')

diff --git a/src/config.sig b/src/config.sig
index 6afd9910..28479ef0 100644
--- a/src/config.sig
+++ b/src/config.sig
@@ -10,4 +10,8 @@ signature CONFIG = sig
 
     val gccArgs : string
     val openssl : string
+
+    val pgheader : string
+    val msheader : string
+    val sqheader : string
 end
-- 
cgit v1.2.3