X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/234b917a6149413bbbeab7dccfaeab5f16e43fe1..7f75d83853b6dfe8b63ff78130b7107ce8af21a8:/src/domtool.cm diff --git a/src/domtool.cm b/src/domtool.cm index 790625c..1210624 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 @@ -21,8 +26,47 @@ parse.sml print.sig print.sml +env.sig +env.sml + tycheck.sig tycheck.sml +reduce.sig +reduce.sml + +eval.sig +eval.sml + +baseTypes.sig +baseTypes.sml + +acl.sig +acl.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 + +plugins/apache.sig +plugins/apache.sml + +plugins/webalizer.sig +plugins/webalizer.sml + +order.sig +order.sml + main.sig main.sml