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/postgres.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/postgres.sml')

diff --git a/src/postgres.sml b/src/postgres.sml
index f713c753..9b64935c 100644
--- a/src/postgres.sml
+++ b/src/postgres.sml
@@ -1026,7 +1026,7 @@ fun p_cast (s, t) = s ^ "::" ^ p_sql_type t
 fun p_blank (n, t) = p_cast ("$" ^ Int.toString n, t)
 
 val () = addDbms {name = "postgres",
-                  header = "postgresql/libpq-fe.h",
+                  header = Config.pgheader,
                   link = "-lpq",
                   p_sql_type = p_sql_type,
                   init = init,
-- 
cgit v1.2.3