1 (* Core configure to allow domtool to be easily relocated *)
2 signature CONFIG_CORE = sig
4 val sharedRoot : string
5 (* Global file system space for domtool daemon to share *)
8 (* Local file system space for domtool to generate configuration into *)
10 val installPrefix : string
11 (* Prefix for domtool bin/share data ala GNU $PREFIX *)
20 (* Paths to standard UNIX utilities *)