+bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
+ $(MLTON) -output bin/setsa src/setsa.mlb
+
+bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
+ $(MLTON) -output bin/smtplog src/smtplog.mlb
+
+bin/mysql-fixperms: $(COMMON_MLTON_DEPS) src/mysql-fixperms.mlb
+ $(MLTON) -output bin/mysql-fixperms src/mysql-fixperms.mlb
+
+bin/fwtool: $(COMMON_MLTON_DEPS) src/fwtool.mlb
+ $(MLTON) -output bin/fwtool src/fwtool.mlb
+
+bin/webbw: $(COMMON_MLTON_DEPS) src/stats/webbw.mlb src/stats/*.sml
+ mlton -output bin/webbw src/stats/webbw.mlb
+
+bin/domtool-tail: $(COMMON_MLTON_DEPS) src/tail/tail.mlb src/tail/*.sml
+ mlton -output bin/domtool-tail src/tail/tail.mlb
+
+elisp/domtool-tables.el: lib/*.dtl bin/domtool-doc
+ bin/domtool-doc -basis -emacs >$@
+
+install_sos:
+ cp openssl/openssl_sml.so /usr/local/lib/
+ cp pcre/pcre_sml.so /usr/local/lib/
+
+install: install_sos