diff src/sqlite.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 e525ad571e15
children 3e7c7e200713
line wrap: on
line diff
--- a/src/sqlite.sml	Sun May 29 12:44:31 2011 -0400
+++ b/src/sqlite.sml	Sun May 29 13:31:53 2011 -0400
@@ -820,7 +820,7 @@
 fun p_blank _ = "?"
 
 val () = addDbms {name = "sqlite",
-                  header = "sqlite3.h",
+                  header = Config.sqheader,
                   link = "-lsqlite3",
                   init = init,
                   p_sql_type = p_sql_type,