configDefault/domtool.cfs

   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 cat : string
  13 val cp : string
  14 val diff : string
  15 val rm : string