From ac03a2629057969e5aaf707c3af3123b74617af3 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 --- Makefile.in | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index e464fc8e..3b195936 100644 --- a/Makefile.in +++ b/Makefile.in @@ -152,6 +152,7 @@ MKDIR_P = @MKDIR_P@ MLLEX = @MLLEX@ MLTON := mlton MLYACC = @MLYACC@ +MSHEADER = @MSHEADER@ NM = @NM@ NMEDIT = @NMEDIT@ OBJDUMP = @OBJDUMP@ @@ -169,12 +170,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