| 1 | (* Core configure to allow domtool to be easily relocated *) |
| 2 | signature CONFIG_CORE = sig |
| 3 | |
| 4 | val sharedRoot : string |
| 5 | (* Global file system space for domtool daemon to share *) |
| 6 | |
| 7 | val localRoot : string |
| 8 | (* Local file system space for domtool to generate configuration into *) |
| 9 | |
| 10 | val installPrefix : string |
| 11 | (* Prefix for domtool bin/share data ala GNU $PREFIX *) |
| 12 | |
| 13 | val cat : string |
| 14 | val cp : string |
| 15 | val diff : string |
| 16 | val rm : string |
| 17 | val echo : string |
| 18 | val grep : string |
| 19 | val sudo : string |
| 20 | (* Paths to standard UNIX utilities *) |
| 21 | |
| 22 | end |