From f92289880fd8457a080e150cb50f0fa2af3eff9c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 29 May 2011 13:31:53 -0400 Subject: Configuration detects proper header files for database dev libraries --- src/c/Makefile.in | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/c/Makefile.in') diff --git a/src/c/Makefile.in b/src/c/Makefile.in index 813b300c..b13b94f9 100644 --- a/src/c/Makefile.in +++ b/src/c/Makefile.in @@ -151,6 +151,7 @@ MKDIR_P = @MKDIR_P@ MLLEX = @MLLEX@ MLTON = @MLTON@ MLYACC = @MLYACC@ +MSHEADER = @MSHEADER@ NM = @NM@ NMEDIT = @NMEDIT@ OBJDUMP = @OBJDUMP@ @@ -168,12 +169,14 @@ PACKAGE_TARNAME = @PACKAGE_TARNAME@ 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@ -- cgit v1.2.3