[hcoop/zz_old/domtool2-proto.git] / configDefault / domtool.cfs

val libRoot : string
(* Basis library root directory *)

val resultRoot : string
(* Root directory for a directory hierarchy corresponding to domain structure,
 * where each node contains Domtool-generated result files for that domain. *)

val tmpDir : string
(* Filesystem location for creating temporary directories *)

(* Paths to standard UNIX utilities *)
val cp : string
val diff : string
val rm : string
Commit	Line	Data
17ef447e	1	val libRoot : string
17ef447e	2	(* Basis library root directory *)
51c32b45	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. *)
17ef447e	7
c12828f2	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