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/config.sml.in | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/config.sml.in') diff --git a/src/config.sml.in b/src/config.sml.in index bb76ea73..fa4bd5fa 100644 --- a/src/config.sml.in +++ b/src/config.sml.in @@ -15,4 +15,8 @@ val libJs = OS.Path.joinDirFile {dir = lib, val gccArgs = "@GCCARGS@" val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@" +val pgheader = "@PGHEADER@" +val msheader = "@MSHEADER@" +val sqheader = "@SQHEADER@" + end -- cgit v1.2.3