diff src/mysql.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 19e8e3d556d6
children 8128fcb2d4a4
line wrap: on
line diff
--- a/src/mysql.sml	Sun May 29 12:44:31 2011 -0400
+++ b/src/mysql.sml	Sun May 29 13:31:53 2011 -0400
@@ -1526,7 +1526,7 @@
 fun p_blank _ = "?"
 
 val () = addDbms {name = "mysql",
-                  header = "mysql/mysql.h",
+                  header = Config.msheader,
                   link = "-lmysqlclient",
                   init = init,
                   p_sql_type = p_sql_type,