Mercurial > urweb
annotate src/config.sig @ 2088:4be82596b8e3
New release
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 06 Dec 2014 15:26:56 -0500 |
parents | c414850f206f |
children |
rev | line source |
---|---|
adamc@378 | 1 signature CONFIG = sig |
ezyang@1739 | 2 val builddir : string |
ezyang@1739 | 3 |
adamc@378 | 4 val bin : string |
ezyang@1739 | 5 val srclib : string |
adamc@378 | 6 val lib : string |
adamc@378 | 7 val includ : string |
adamc@378 | 8 val sitelisp : string |
adamc@378 | 9 |
adam@1474 | 10 val ccompiler : string |
adam@1523 | 11 val ccArgs : string |
adam@1368 | 12 val openssl : string |
adam@1464 | 13 |
adam@1464 | 14 val pgheader : string |
adam@1464 | 15 val msheader : string |
adam@1464 | 16 val sqheader : string |
adam@1520 | 17 |
adam@1520 | 18 val versionNumber : string |
adam@1520 | 19 val versionString : string |
adam@1528 | 20 |
adam@1528 | 21 val pthreadCflags : string |
adam@1528 | 22 val pthreadLibs : string |
adamc@378 | 23 end |