X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a22c187b7b983dad6b0e2c34cd0ab74e95c2411b..559e89e9adf62c5faeb0e78e6b9fb8fe107b8c72:/src/domtool.cm diff --git a/src/domtool.cm b/src/domtool.cm index acf15a7..48cafe7 100644 --- a/src/domtool.cm +++ b/src/domtool.cm @@ -3,6 +3,10 @@ Group is $/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 @@ -11,8 +15,64 @@ dataStructures.sml ast.sml +../configDefault/config.sig +../configDefault/configDefault.sml + +../config.sml + domtool.lex domtool.grm parse.sig 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 + +plugins/mailman.sig +plugins/mailman.sml + +order.sig +order.sml + +main.sig +main.sml