-bin/domtool-server: openssl/mlton/FFI/libssl.h.mlb \
- src/domtool-server.mlb src/domtool.lex.sml \
- src/domtool.grm.sig src/domtool.grm.sml \
- $(COMMON_DEPS) src/*.sig src/*.sml \
- src/plugins/*.sig src/plugins/*.sml
+COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
+ src/domtool.lex.sml \
+ src/domtool.grm.sig src/domtool.grm.sml \
+ $(COMMON_DEPS) src/*.sig src/*.sml \
+ src/plugins/*.sig src/plugins/*.sml
+
+bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb