Mercurial > urweb
annotate src/config.sig @ 1766:92cfc69419bd
Be more conservative in choosing candidates for Especialize, re: mutual recursion
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 17 May 2012 10:20:24 -0400 |
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 |