X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9ffe2f0fea48f1e2fa6a30b6a79b975b4a6f7671..ac64d96d45f900309ec7e97138b2e793f40ec9f1:/Makefile diff --git a/Makefile b/Makefile index 42d1ccd..f3161d4 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,8 @@ COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \ .PHONY: all mlton smlnj install mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \ - bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail + bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \ + bin/smtplog bin/setsa smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm @@ -69,6 +70,14 @@ 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 + +src/smtplog.mlb: src/prefix.mlb src/sources src/suffix.mlb + $(MAKE_MLB_BASE) >src/smtplog.mlb + echo "main-smtplog.sml" >>src/smtplog.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*" \ @@ -92,26 +101,38 @@ COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \ src/plugins/*.sig src/plugins/*.sml \ src/mail/*.sig src/mail/*.sml +MLTON := mlton -link-opt -ldl + +ifdef DEBUG + MLTON += -const 'Exn.keepHistory true' +endif + bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb - mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb + $(MLTON) -output bin/domtool-server src/domtool-server.mlb bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb - mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb + $(MLTON) -output bin/domtool-client src/domtool-client.mlb bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb - mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb + $(MLTON) -output bin/domtool-slave src/domtool-slave.mlb bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb - mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb + $(MLTON) -output bin/domtool-admin src/domtool-admin.mlb bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb - mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb + $(MLTON) -output bin/domtool-doc src/domtool-doc.mlb bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb - mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb + $(MLTON) -output bin/dbtool src/dbtool.mlb bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb - mlton -output bin/vmail -link-opt -ldl src/vmail.mlb + $(MLTON) -output bin/vmail src/vmail.mlb + +bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb + $(MLTON) -output bin/setsa src/setsa.mlb + +bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb + $(MLTON) -output bin/smtplog src/smtplog.mlb install: cp scripts/domtool-publish /usr/local/sbin/ @@ -121,6 +142,11 @@ install: cp scripts/domtool-addcert /usr/local/bin/ cp scripts/domtool-addacl /usr/local/bin/ cp scripts/domtool-rmuser /usr/local/bin/ + cp scripts/domtool-admin-sudo /usr/local/bin/ + cp scripts/domtool-server-logged /usr/local/bin/ + cp scripts/domtool-slave-logged /usr/local/bin/ + cp scripts/domtool-server /etc/init.d/ + cp scripts/domtool-slave /etc/init.d/ cp openssl/openssl_sml.so /usr/local/lib/ -cp bin/domtool-server /usr/local/sbin/ -cp bin/domtool-slave /usr/local/sbin/ @@ -129,6 +155,8 @@ 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 bin/smtplog /usr/local/bin/ cp src/plugins/domtool-postgres /usr/local/sbin/ cp src/plugins/domtool-mysql /usr/local/sbin/