X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2fc6b0dd10a94cf365b48df7fe6b0518e5dabdd1..2e96b9d42f6d2619f961c753ac3bbc9ba57c5147:/Makefile

diff --git a/Makefile b/Makefile
index 42d1ccd..a89036b 100644
--- a/Makefile
+++ b/Makefile
@@ -69,6 +69,10 @@ src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb
 	$(MAKE_MLB_BASE) >src/vmail.mlb
 	echo "main-vmail.sml" >>src/vmail.mlb
 
+src/setsa.mlb: src/prefix.mlb src/sources src/suffix.mlb
+	$(MAKE_MLB_BASE) >src/setsa.mlb
+	echo "main-setsa.sml" >>src/setsa.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*" \
@@ -113,6 +117,9 @@ bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
 bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
 	mlton -output bin/vmail -link-opt -ldl src/vmail.mlb
 
+bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
+	mlton -output bin/setsa -link-opt -ldl src/setsa.mlb
+
 install:
 	cp scripts/domtool-publish /usr/local/sbin/
 	cp scripts/domtool-reset-global /usr/local/sbin/
@@ -129,6 +136,7 @@ install:
 	-cp bin/domtool-doc /usr/local/bin/
 	-cp bin/dbtool /usr/local/bin/
 	-cp bin/vmail /usr/local/bin/
+	-cp bin/setsa /usr/local/bin/
 	cp src/plugins/domtool-postgres /usr/local/sbin/
 	cp src/plugins/domtool-mysql /usr/local/sbin/