X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/629a34f64f780c03d049d20057acc9a487162272..36e42cb86393a7b9e333ecd7edfbdd16c7d9a1ac:/src/domtool.cm diff --git a/src/domtool.cm b/src/domtool.cm index 33722c5..d10f96d 100644 --- a/src/domtool.cm +++ b/src/domtool.cm @@ -4,6 +4,9 @@ $/basis.cm $/smlnj-lib.cm $/ml-yacc-lib.cm $/pp-lib.cm +$c/internals/c-int.cm + +../openssl/smlnj/FFI/libssl.h.cm errormsg.sig errormsg.sml @@ -41,11 +44,45 @@ eval.sml baseTypes.sig baseTypes.sml +acl.sig +acl.sml + +slave.sig +slave.sml + +defaults.sig +defaults.sml + +msgTypes.sml +msg.sig +msg.sml + domain.sig domain.sml -alias.sig -alias.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 + +plugins/mailman.sig +plugins/mailman.sml + +order.sig +order.sml + +openssl.sig +openssl.sml main.sig main.sml