+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
+
+bin/domtool-config: $(COMMON_MLTON_DEPS) src/domtool-config.mlb src/main-config.sml
+ $(MLTON) -output bin/domtool-config src/domtool-config.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