comparison src/config.sig @ 1464:969b90b1f2f9

Configuration detects proper header files for database dev libraries
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 13:31:53 -0400
parents b2bc8bcd546f
children 3d0cc841cafd
comparison
equal deleted inserted replaced
1463:607657eb2865 1464:969b90b1f2f9
8 val libC : string 8 val libC : string
9 val libJs : string 9 val libJs : string
10 10
11 val gccArgs : string 11 val gccArgs : string
12 val openssl : string 12 val openssl : string
13
14 val pgheader : string
15 val msheader : string
16 val sqheader : string
13 end 17 end