X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8df2e702cf3e5ed9b8433585b357bbcd9f0d623e..3b2676435dc4af39acd77e7fe232902e6651e42d:/src/domtool.cm?ds=sidebyside diff --git a/src/domtool.cm b/src/domtool.cm index 29b39c0..ab147b7 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,6 +44,9 @@ eval.sml baseTypes.sig baseTypes.sml +acl.sig +acl.sml + slave.sig slave.sml @@ -53,8 +59,23 @@ 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