bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb
bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb