X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2679ec890199482014e671a9c41f19077abc0d60..0d437aa61b8c95c6f29605e046ea3e49a37ca29f:/Makefile

diff --git a/Makefile b/Makefile
index e23ac72..f9ebab0 100644
--- a/Makefile
+++ b/Makefile
@@ -121,6 +121,10 @@ src/fwtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
 	$(MAKE_MLB_BASE) >src/fwtool.mlb
 	echo "main-fwtool.sml" >>src/fwtool.mlb
 
+src/domtool-config.mlb: src/prefix.mlb src/sources src/suffix.mlb
+	$(MAKE_MLB_BASE) >src/domtool-config.mlb
+	echo "main-config.sml" >>src/domtool-config.mlb
+
 openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h
 	cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \
 	-cm libssl.h.cm -D__builtin_va_list="void*" \
@@ -208,6 +212,9 @@ bin/webbw: $(COMMON_MLTON_DEPS) src/stats/webbw.mlb src/stats/*.sml
 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
+
 elisp/domtool-tables.el: lib/*.dtl bin/domtool-doc
 	bin/domtool-doc -basis -emacs >$@
 
@@ -244,6 +251,7 @@ install: install_sos
 	-cp bin/webbw /usr/local/sbin/
 	-cp bin/domtool-tail /usr/local/bin/
 	-chmod +s /usr/local/bin/domtool-tail
+	cp bin/domtool-config /usr/local/bin/
 	cp src/plugins/domtool-postgres /usr/local/sbin/
 	cp src/plugins/domtool-mysql /usr/local/sbin/
 	-mkdir -p $(EMACS_DIR)