bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \
src/domtool-slave.mlb src/domtool.lex.sml \
src/domtool.grm.sig src/domtool.grm.sml \
- $(COMMON_DEPS) src/*.sig src/*.sml
+ $(COMMON_DEPS) src/*.sig src/*.sml \
+ src/plugins/*.sig src/plugins/*.sml
mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
install:
TextIO.output (outf, ns);
TextIO.output (outf, ".\thostmaster.");
TextIO.output (outf, #domain fs);
- TextIO.output (outf, ".\n( ");
+ TextIO.output (outf, ". ( ");
TextIO.output (outf, Int.toString 123456789);
TextIO.output (outf, " ");
TextIO.output (outf, Int.toString rf);