comparison src/config.sml.in @ 1523:52fbd8534ef3

Remove some GCC-specific identifier choice and documentation
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 14:45:19 -0400
parents b5517f47b1f1
children 7770ef82c463
comparison
equal deleted inserted replaced
1522:4d0b80dd4c37 1523:52fbd8534ef3
11 file = "c"} 11 file = "c"}
12 val libJs = OS.Path.joinDirFile {dir = lib, 12 val libJs = OS.Path.joinDirFile {dir = lib,
13 file = "js"} 13 file = "js"}
14 14
15 val ccompiler = "@CC@" 15 val ccompiler = "@CC@"
16 val gccArgs = "@GCCARGS@" 16 val ccArgs = "@CCARGS@"
17 val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@" 17 val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@"
18 18
19 val pgheader = "@PGHEADER@" 19 val pgheader = "@PGHEADER@"
20 val msheader = "@MSHEADER@" 20 val msheader = "@MSHEADER@"
21 val sqheader = "@SQHEADER@" 21 val sqheader = "@SQHEADER@"