+
+bin/domtool-client: openssl/mlton/FFI/libssl.h.mlb \
+ src/domtool-client.mlb src/domtool.lex.sml \
+ src/domtool.grm.sig src/domtool.grm.sml \
+ $(COMMON_DEPS) src/*.sig src/*.sml
+ mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb
+
+install:
+ -cp openssl/openssl_sml.so /usr/local/lib/
+ -cp bin/domtool-server /usr/local/sbin/
+ -cp bin/domtool-client /usr/local/bin/domtool