--- /dev/null
+all: configDefault/config.sig configDefault/configDefault.sml
+
+.PHONY: all
+
+configDefault/config.sig: src/config.sig.header \
+ configDefault/*.cfs src/config.sig.footer
+ cat src/config.sig.header \
+ configDefault/*.cfs \
+ src/config.sig.footer \
+ >configDefault/config.sig
+
+configDefault/configDefault.sml: src/configDefault.sml.header \
+ configDefault/*.cfg src/configDefault.sml.footer
+ cat src/configDefault.sml.header \
+ configDefault/*.cfg \
+ src/configDefault.sml.footer \
+ >configDefault/configDefault.sml
+
--- /dev/null
+val configRoot : string
+(* Root directory for a directory hierarchy corresponding to domain structure,
+ * where each node contains files related to that domain's configuration. *)