Mercurial > urweb
annotate src/config.sig @ 1658:de0a34e28bfa
Tweak new unification heuristic
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 05 Jan 2012 19:13:31 -0500 |
parents | 7770ef82c463 |
children | c414850f206f |
rev | line source |
---|---|
adamc@378 | 1 signature CONFIG = sig |
adamc@378 | 2 val bin : string |
adamc@378 | 3 val lib : string |
adamc@378 | 4 val includ : string |
adamc@378 | 5 val sitelisp : string |
adamc@378 | 6 |
adamc@378 | 7 val libUr : string |
adamc@378 | 8 val libC : string |
adamc@569 | 9 val libJs : string |
adamc@435 | 10 |
adam@1474 | 11 val ccompiler : string |
adam@1523 | 12 val ccArgs : string |
adam@1368 | 13 val openssl : string |
adam@1464 | 14 |
adam@1464 | 15 val pgheader : string |
adam@1464 | 16 val msheader : string |
adam@1464 | 17 val sqheader : string |
adam@1520 | 18 |
adam@1520 | 19 val versionNumber : string |
adam@1520 | 20 val versionString : string |
adam@1528 | 21 |
adam@1528 | 22 val pthreadCflags : string |
adam@1528 | 23 val pthreadLibs : string |
adamc@378 | 24 end |