Mercurial > urweb
annotate src/config.sig @ 563:44958d74c43f
Initial conversion to arbitrary-kind classes
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Fri, 19 Dec 2008 10:03:31 -0500 |
| parents | f7b25375c0cf |
| children | 162d5308e34f |
| 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@435 | 9 |
| adamc@435 | 10 val gccArgs : string |
| adamc@378 | 11 end |