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