First vmail support

[hcoop/domtool2.git] / Makefile

diff --git a/Makefile b/Makefile
index 33f7683..17f3c0d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
 .PHONY: all mlton smlnj install
 
 mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
 .PHONY: all mlton smlnj install
 
 mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \

-       bin/domtool-admin bin/domtool-doc bin/dbtool
+       bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail

 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm
 
 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm
 


@@ -65,6 +65,10 @@ src/dbtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
        $(MAKE_MLB_BASE) >src/dbtool.mlb
        echo "main-dbtool.sml" >>src/dbtool.mlb
 
        $(MAKE_MLB_BASE) >src/dbtool.mlb
        echo "main-dbtool.sml" >>src/dbtool.mlb
 

+src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb
+       $(MAKE_MLB_BASE) >src/vmail.mlb
+       echo "main-vmail.sml" >>src/vmail.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*" \
 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*" \


@@ -105,6 +109,9 @@ bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
 bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
        mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb
 
 bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
        mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb
 

+bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
+       mlton -output bin/vmail -link-opt -ldl src/vmail.mlb
+

 install:
        cp scripts/domtool-publish /usr/local/sbin/
        cp scripts/domtool-reset-global /usr/local/sbin/
 install:
        cp scripts/domtool-publish /usr/local/sbin/
        cp scripts/domtool-reset-global /usr/local/sbin/


@@ -120,6 +127,7 @@ install:
        -cp bin/domtool-admin /usr/local/bin/
        -cp bin/domtool-doc /usr/local/bin/
        -cp bin/dbtool /usr/local/bin/
        -cp bin/domtool-admin /usr/local/bin/
        -cp bin/domtool-doc /usr/local/bin/
        -cp bin/dbtool /usr/local/bin/

+       -cp bin/vmail /usr/local/bin/

        cp src/plugins/domtool-postgres /usr/local/sbin/
        cp src/plugins/domtool-mysql /usr/local/sbin/
 
        cp src/plugins/domtool-postgres /usr/local/sbin/
        cp src/plugins/domtool-mysql /usr/local/sbin/