diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-05-29 13:31:53 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-05-29 13:31:53 -0400 |
commit | ac03a2629057969e5aaf707c3af3123b74617af3 (patch) | |
tree | 76290b06cad4c9de9bc458c5ae7372f666d98226 /src/c/Makefile.in | |
parent | c6b4e9ff771cf8e697ea36dd31230c03cacf5442 (diff) |
Configuration detects proper header files for database dev libraries
Diffstat (limited to 'src/c/Makefile.in')
-rw-r--r-- | src/c/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
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@ |