X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c..36e42cb86393a7b9e333ecd7edfbdd16c7d9a1ac:/src/domtool.cm?ds=sidebyside diff --git a/src/domtool.cm b/src/domtool.cm index 7e4cb0a..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 @@ -47,6 +50,13 @@ acl.sml slave.sig slave.sml +defaults.sig +defaults.sml + +msgTypes.sml +msg.sig +msg.sml + domain.sig domain.sml @@ -62,8 +72,17 @@ 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