diff src/config.sig @ 1464:969b90b1f2f9

Configuration detects proper header files for database dev libraries
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 13:31:53 -0400
parents b2bc8bcd546f
children 3d0cc841cafd
line wrap: on
line diff
--- a/src/config.sig	Sun May 29 12:44:31 2011 -0400
+++ b/src/config.sig	Sun May 29 13:31:53 2011 -0400
@@ -10,4 +10,8 @@
 
     val gccArgs : string
     val openssl : string
+
+    val pgheader : string
+    val msheader : string
+    val sqheader : string
 end