Now builds with MLton

[hcoop/domtool2.git] / src / domtool.cm

diff --git a/src/domtool.cm b/src/domtool.cm
deleted file mode 100644 (file)
index f23f86d..0000000
--- a/src/domtool.cm
+++ /dev/null
@@ -1,95 +0,0 @@
-Group is
-
-$/basis.cm
-$/smlnj-lib.cm
-$/ml-yacc-lib.cm
-$/html-lib.cm
-$/pp-lib.cm
-$c/internals/c-int.cm
-
-../openssl/smlnj/FFI/libssl.h.cm
-
-errormsg.sig
-errormsg.sml
-
-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
-
-defaults.sig
-defaults.sml
-
-msgTypes.sml
-msg.sig
-msg.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
-
-openssl.sig
-openssl.sml
-
-htmlPrint.sig
-htmlPrint.sml
-
-autodoc.sig
-autodoc.sml
-
-main.sig
-main.sml