smtplog
[hcoop/zz_old/domtool2-proto.git] / Makefile
CommitLineData
c342e144 1all: mlton
333d26a4 2
c342e144 3COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
4 openssl/openssl_sml.so
5
0cfb3669 6.PHONY: all mlton smlnj install
c342e144 7
e26d6b6e 8mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
c685120e 9 bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \
10 bin/smtplog
c342e144 11
12smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm
333d26a4 13
14configDefault/config.sig: src/config.sig.header \
1f53f82b 15 configDefault/*.csg configDefault/*.cfs \
16 src/config.sig.footer
17 cat configDefault/*.csg \
18 src/config.sig.header \
333d26a4 19 configDefault/*.cfs \
20 src/config.sig.footer \
21 >configDefault/config.sig
22
23configDefault/configDefault.sml: src/configDefault.sml.header \
24 configDefault/*.cfg src/configDefault.sml.footer
25 cat src/configDefault.sml.header \
26 configDefault/*.cfg \
27 src/configDefault.sml.footer \
28 >configDefault/configDefault.sml
29
1f8889bd 30openssl/openssl_sml.o: openssl/openssl_sml.c
31 gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o
32
33openssl/openssl_sml.so: openssl/openssl_sml.o
34 gcc -shared -Wl,-soname,openssl_sml.so \
35 -o openssl/openssl_sml.so \
36 openssl/openssl_sml.o -lssl
37
634d7082 38src/domtool.cm: src/prefix.cm src/sources
c342e144 39 cat src/prefix.cm src/sources >src/domtool.cm
40
037af74e 41MAKE_MLB_BASE := cat src/prefix.mlb src/sources src/suffix.mlb \
42 | sed 's/^\(.*\).grm$$/\1.grm.sig\n\1.grm.sml/' \
43 | sed 's/^\(.*\).lex$$/\1.lex.sml/'
44
634d7082 45src/domtool-server.mlb: src/prefix.mlb src/sources src/suffix.mlb
037af74e 46 $(MAKE_MLB_BASE) >src/domtool-server.mlb
c342e144 47 echo "main-server.sml" >>src/domtool-server.mlb
48
634d7082 49src/domtool-client.mlb: src/prefix.mlb src/sources src/suffix.mlb
037af74e 50 $(MAKE_MLB_BASE) >src/domtool-client.mlb
0cfb3669 51 echo "main-client.sml" >>src/domtool-client.mlb
52
634d7082 53src/domtool-slave.mlb: src/prefix.mlb src/sources src/suffix.mlb
037af74e 54 $(MAKE_MLB_BASE) >src/domtool-slave.mlb
a7bcd59c 55 echo "main-slave.sml" >>src/domtool-slave.mlb
56
634d7082 57src/domtool-admin.mlb: src/prefix.mlb src/sources src/suffix.mlb
e2130d9c 58 $(MAKE_MLB_BASE) >src/domtool-admin.mlb
59 echo "main-admin.sml" >>src/domtool-admin.mlb
60
634d7082 61src/domtool-doc.mlb: src/prefix.mlb src/sources src/suffix.mlb
e26d6b6e 62 $(MAKE_MLB_BASE) >src/domtool-doc.mlb
63 echo "main-doc.sml" >>src/domtool-doc.mlb
64
634d7082 65src/dbtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
66 $(MAKE_MLB_BASE) >src/dbtool.mlb
67 echo "main-dbtool.sml" >>src/dbtool.mlb
68
c45f1662 69src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb
70 $(MAKE_MLB_BASE) >src/vmail.mlb
71 echo "main-vmail.sml" >>src/vmail.mlb
72
bb8cc8c9 73src/setsa.mlb: src/prefix.mlb src/sources src/suffix.mlb
74 $(MAKE_MLB_BASE) >src/setsa.mlb
75 echo "main-setsa.sml" >>src/setsa.mlb
76
c685120e 77src/smtplog.mlb: src/prefix.mlb src/sources src/suffix.mlb
78 $(MAKE_MLB_BASE) >src/smtplog.mlb
79 echo "main-smtplog.sml" >>src/smtplog.mlb
80
1f8889bd 81openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h
82 cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \
83 -cm libssl.h.cm -D__builtin_va_list="void*" \
84 ../openssl_sml.h
c342e144 85
86openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h
87 cd openssl/mlton ; mlnlffigen -dir FFI -libhandle LibsslH.libh -include ../libssl-h.sml \
88 -mlbfile libssl.h.mlb -cppopt -D__builtin_va_list="void*" \
89 ../openssl_sml.h
90
91%.lex.sml: %.lex
514b7936 92 mllex $<
c342e144 93
94%.grm.sig %.grm.sml: %.grm
514b7936 95 mlyacc $<
c342e144 96
037af74e 97COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
98 src/domtool.lex.sml \
99 src/domtool.grm.sig src/domtool.grm.sml \
100 $(COMMON_DEPS) src/*.sig src/*.sml \
87af74d0 101 src/plugins/*.sig src/plugins/*.sml \
102 src/mail/*.sig src/mail/*.sml
037af74e 103
104bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
c342e144 105 mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb
0cfb3669 106
037af74e 107bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb
0cfb3669 108 mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb
109
037af74e 110bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
a7bcd59c 111 mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
112
e2130d9c 113bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb
114 mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb
115
e26d6b6e 116bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
117 mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb
118
634d7082 119bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
120 mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb
121
c45f1662 122bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
123 mlton -output bin/vmail -link-opt -ldl src/vmail.mlb
124
bb8cc8c9 125bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
126 mlton -output bin/setsa -link-opt -ldl src/setsa.mlb
127
c685120e 128bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
129 mlton -output bin/smtplog -link-opt -ldl src/smtplog.mlb
130
0cfb3669 131install:
c5ae7537 132 cp scripts/domtool-publish /usr/local/sbin/
6731761e 133 cp scripts/domtool-reset-global /usr/local/sbin/
134 cp scripts/domtool-reset-local /usr/local/sbin/
a82d7967 135 cp scripts/domtool-adduser /usr/local/bin/
136 cp scripts/domtool-addcert /usr/local/bin/
137 cp scripts/domtool-addacl /usr/local/bin/
138 cp scripts/domtool-rmuser /usr/local/bin/
c5ae7537 139 cp openssl/openssl_sml.so /usr/local/lib/
091a3b81 140 -cp bin/domtool-server /usr/local/sbin/
141 -cp bin/domtool-slave /usr/local/sbin/
142 -cp bin/domtool-client /usr/local/bin/domtool
143 -cp bin/domtool-admin /usr/local/bin/
144 -cp bin/domtool-doc /usr/local/bin/
634d7082 145 -cp bin/dbtool /usr/local/bin/
c45f1662 146 -cp bin/vmail /usr/local/bin/
bb8cc8c9 147 -cp bin/setsa /usr/local/bin/
c685120e 148 -cp bin/smtplog /usr/local/bin/
634d7082 149 cp src/plugins/domtool-postgres /usr/local/sbin/
d2583946 150 cp src/plugins/domtool-mysql /usr/local/sbin/
ae175ff1 151
152.PHONY: grab_lib
153
154grab_lib:
155 rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/