diff Makefile.in @ 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 156b8e8c25d8
children b5517f47b1f1
line wrap: on
line diff
--- a/Makefile.in	Sun May 29 12:44:31 2011 -0400
+++ b/Makefile.in	Sun May 29 13:31:53 2011 -0400
@@ -152,6 +152,7 @@
 MLLEX = @MLLEX@
 MLTON := mlton
 MLYACC = @MLYACC@
+MSHEADER = @MSHEADER@
 NM = @NM@
 NMEDIT = @NMEDIT@
 OBJDUMP = @OBJDUMP@
@@ -169,12 +170,14 @@
 PACKAGE_URL = @PACKAGE_URL@
 PACKAGE_VERSION = @PACKAGE_VERSION@
 PATH_SEPARATOR = @PATH_SEPARATOR@
+PGHEADER = @PGHEADER@
 PKG_CONFIG = @PKG_CONFIG@
 RANLIB = @RANLIB@
 SED = @SED@
 SET_MAKE = @SET_MAKE@
 SHELL = @SHELL@
 SITELISP := @SITELISP@
+SQHEADER = @SQHEADER@
 STRIP = @STRIP@
 VERSION = @VERSION@
 abs_builddir = @abs_builddir@