X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a3698041b3521c3cb17b3546ecdc08ba101c788a..6ae327f88a6be8efd02cfe4b713444f9f3ac2672:/src/domtool.cm diff --git a/src/domtool.cm b/src/domtool.cm index df4938b..f7f6551 100644 --- a/src/domtool.cm +++ b/src/domtool.cm @@ -12,6 +12,11 @@ dataStructures.sml ast.sml +../configDefault/config.sig +../configDefault/configDefault.sml + +../config.sml + domtool.lex domtool.grm @@ -36,8 +41,23 @@ eval.sml baseTypes.sig baseTypes.sml +slave.sig +slave.sml + domain.sig domain.sml +plugins/alias.sig +plugins/alias.sml + +plugins/exim.sig +plugins/exim.sml + +plugins/bind.sig +plugins/bind.sml + +order.sig +order.sml + main.sig main.sml