[hcoop/domtool2.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
d189ec0e AC	1	val libRoot : string
d189ec0e AC	2	(* Basis library root directory *)
095de39e AC	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. *)
d189ec0e	7
d612d62c AC	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