diff src/postgres.sml @ 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 4a6f84092399
children daf71c76707e
line wrap: on
line diff
--- a/src/postgres.sml	Sun May 29 12:44:31 2011 -0400
+++ b/src/postgres.sml	Sun May 29 13:31:53 2011 -0400
@@ -1026,7 +1026,7 @@
 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,