From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 10 Feb 2007 21:06:09 +0000 (+0000)
Subject: Add setsa in default Makefile target
X-Git-Tag: release_2010-11-19~270
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/7b0b04403d80589743acbad228cd7dc5c616c33f

Add setsa in default Makefile target
---

diff --git a/Makefile b/Makefile
index 8189d06..15a2272 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
 
 mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
 	bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \
-	bin/smtplog
+	bin/smtplog bin/setsa
 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm