HCoop / hcoop / domtool2.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | val libRoot : string | |
| 2 | (* Basis library root directory *) | |
| 3 | ||
| 4 | val resultRoot : string | |
| 5 | (* Root directory for a directory hierarchy corresponding to domain structure, | |
| 6 | * where each node contains Domtool-generated result files for that domain. *) | |
| 7 | ||
| 8 | val tmpDir : string | |
| 9 | (* Filesystem location for creating temporary directories *) | |
| 10 | ||
| 11 | (* Paths to standard UNIX utilities *) | |
| 12 | val cp : string | |
| 13 | val diff : string | |
| 14 | val rm : string |