9b3f6729 |
1 | all: mlton bin/vmailpasswd elisp/domtool-tables.el |
36f66a0c |
2 | |
3 | bin/vmailpasswd: src/mail/vmailpasswd.c |
4 | $(CC) -lcrypt -o $@ $< |
333d26a4 |
5 | |
c342e144 |
6 | COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \ |
0e6b3bb4 |
7 | openssl/openssl_sml.so pcre/pcre_sml.so config.sml |
5c9ea1a6 |
8 | |
cb7afaeb |
9 | EMACS_DIR := /usr/local/share/emacs/site-lisp/domtool-mode |
10 | |
5c9ea1a6 |
11 | config.sml: |
12 | echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@ |
c342e144 |
13 | |
30aa8eed |
14 | .PHONY: all mlton smlnj install install_sos |
c342e144 |
15 | |
e26d6b6e |
16 | mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \ |
c685120e |
17 | bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \ |
04a1487d |
18 | bin/smtplog bin/setsa bin/mysql-fixperms bin/webbw |
c342e144 |
19 | |
0e6b3bb4 |
20 | smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm pcre/smlnj/FFI/libpcre.h.cm \ |
21 | src/domtool.cm |
333d26a4 |
22 | |
23 | configDefault/config.sig: src/config.sig.header \ |
1f53f82b |
24 | configDefault/*.csg configDefault/*.cfs \ |
25 | src/config.sig.footer |
26 | cat configDefault/*.csg \ |
27 | src/config.sig.header \ |
333d26a4 |
28 | configDefault/*.cfs \ |
29 | src/config.sig.footer \ |
30 | >configDefault/config.sig |
31 | |
32 | configDefault/configDefault.sml: src/configDefault.sml.header \ |
33 | configDefault/*.cfg src/configDefault.sml.footer |
34 | cat src/configDefault.sml.header \ |
35 | configDefault/*.cfg \ |
36 | src/configDefault.sml.footer \ |
37 | >configDefault/configDefault.sml |
38 | |
1f8889bd |
39 | openssl/openssl_sml.o: openssl/openssl_sml.c |
40 | gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o |
41 | |
42 | openssl/openssl_sml.so: openssl/openssl_sml.o |
43 | gcc -shared -Wl,-soname,openssl_sml.so \ |
44 | -o openssl/openssl_sml.so \ |
45 | openssl/openssl_sml.o -lssl |
46 | |
0e6b3bb4 |
47 | pcre/pcre_sml.o: pcre/pcre_sml.c |
48 | gcc -fPIC -c pcre/pcre_sml.c -o pcre/pcre_sml.o |
49 | |
50 | pcre/pcre_sml.so: pcre/pcre_sml.o |
51 | gcc -shared -Wl,-soname,pcre_sml.so \ |
52 | -o pcre/pcre_sml.so \ |
53 | pcre/pcre_sml.o -lpcre |
54 | |
634d7082 |
55 | src/domtool.cm: src/prefix.cm src/sources |
c342e144 |
56 | cat src/prefix.cm src/sources >src/domtool.cm |
57 | |
037af74e |
58 | MAKE_MLB_BASE := cat src/prefix.mlb src/sources src/suffix.mlb \ |
59 | | sed 's/^\(.*\).grm$$/\1.grm.sig\n\1.grm.sml/' \ |
60 | | sed 's/^\(.*\).lex$$/\1.lex.sml/' |
61 | |
634d7082 |
62 | src/domtool-server.mlb: src/prefix.mlb src/sources src/suffix.mlb |
037af74e |
63 | $(MAKE_MLB_BASE) >src/domtool-server.mlb |
c342e144 |
64 | echo "main-server.sml" >>src/domtool-server.mlb |
65 | |
634d7082 |
66 | src/domtool-client.mlb: src/prefix.mlb src/sources src/suffix.mlb |
037af74e |
67 | $(MAKE_MLB_BASE) >src/domtool-client.mlb |
0cfb3669 |
68 | echo "main-client.sml" >>src/domtool-client.mlb |
69 | |
634d7082 |
70 | src/domtool-slave.mlb: src/prefix.mlb src/sources src/suffix.mlb |
037af74e |
71 | $(MAKE_MLB_BASE) >src/domtool-slave.mlb |
a7bcd59c |
72 | echo "main-slave.sml" >>src/domtool-slave.mlb |
73 | |
634d7082 |
74 | src/domtool-admin.mlb: src/prefix.mlb src/sources src/suffix.mlb |
e2130d9c |
75 | $(MAKE_MLB_BASE) >src/domtool-admin.mlb |
76 | echo "main-admin.sml" >>src/domtool-admin.mlb |
77 | |
634d7082 |
78 | src/domtool-doc.mlb: src/prefix.mlb src/sources src/suffix.mlb |
e26d6b6e |
79 | $(MAKE_MLB_BASE) >src/domtool-doc.mlb |
80 | echo "main-doc.sml" >>src/domtool-doc.mlb |
81 | |
634d7082 |
82 | src/dbtool.mlb: src/prefix.mlb src/sources src/suffix.mlb |
83 | $(MAKE_MLB_BASE) >src/dbtool.mlb |
84 | echo "main-dbtool.sml" >>src/dbtool.mlb |
85 | |
c45f1662 |
86 | src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb |
87 | $(MAKE_MLB_BASE) >src/vmail.mlb |
88 | echo "main-vmail.sml" >>src/vmail.mlb |
89 | |
bb8cc8c9 |
90 | src/setsa.mlb: src/prefix.mlb src/sources src/suffix.mlb |
91 | $(MAKE_MLB_BASE) >src/setsa.mlb |
92 | echo "main-setsa.sml" >>src/setsa.mlb |
93 | |
c685120e |
94 | src/smtplog.mlb: src/prefix.mlb src/sources src/suffix.mlb |
95 | $(MAKE_MLB_BASE) >src/smtplog.mlb |
96 | echo "main-smtplog.sml" >>src/smtplog.mlb |
97 | |
62492205 |
98 | src/mysql-fixperms.mlb: src/prefix.mlb src/sources src/suffix.mlb |
99 | $(MAKE_MLB_BASE) >src/mysql-fixperms.mlb |
100 | echo "main-mysql-fixperms.sml" >>src/mysql-fixperms.mlb |
101 | |
1f8889bd |
102 | openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h |
103 | cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \ |
104 | -cm libssl.h.cm -D__builtin_va_list="void*" \ |
105 | ../openssl_sml.h |
c342e144 |
106 | |
107 | openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h |
108 | cd openssl/mlton ; mlnlffigen -dir FFI -libhandle LibsslH.libh -include ../libssl-h.sml \ |
109 | -mlbfile libssl.h.mlb -cppopt -D__builtin_va_list="void*" \ |
110 | ../openssl_sml.h |
111 | |
0e6b3bb4 |
112 | pcre/smlnj/FFI/libpcre.h.cm: pcre/pcre_sml.h |
113 | cd pcre/smlnj ; ml-nlffigen -d FFI -lh LibpcreH.libh -include ../libpcre-h.sml \ |
114 | -cm libpcre.h.cm -D__builtin_va_list="void*" \ |
115 | ../pcre_sml.h |
116 | |
117 | pcre/mlton/FFI/libpcre.h.mlb: pcre/pcre_sml.h |
118 | cd pcre/mlton ; mlnlffigen -dir FFI -libhandle LibpcreH.libh -include ../libpcre-h.sml \ |
119 | -mlbfile libpcre.h.mlb -cppopt -D__builtin_va_list="void*" \ |
120 | ../pcre_sml.h |
121 | |
c342e144 |
122 | %.lex.sml: %.lex |
514b7936 |
123 | mllex $< |
c342e144 |
124 | |
125 | %.grm.sig %.grm.sml: %.grm |
514b7936 |
126 | mlyacc $< |
c342e144 |
127 | |
037af74e |
128 | COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \ |
0e6b3bb4 |
129 | pcre/mlton/FFI/libpcre.h.mlb \ |
037af74e |
130 | src/domtool.lex.sml \ |
131 | src/domtool.grm.sig src/domtool.grm.sml \ |
132 | $(COMMON_DEPS) src/*.sig src/*.sml \ |
87af74d0 |
133 | src/plugins/*.sig src/plugins/*.sml \ |
134 | src/mail/*.sig src/mail/*.sml |
037af74e |
135 | |
97d03e40 |
136 | MLTON := mlton -link-opt -ldl |
137 | |
138 | ifdef DEBUG |
139 | MLTON += -const 'Exn.keepHistory true' |
140 | endif |
141 | |
037af74e |
142 | bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb |
97d03e40 |
143 | $(MLTON) -output bin/domtool-server src/domtool-server.mlb |
0cfb3669 |
144 | |
037af74e |
145 | bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb |
97d03e40 |
146 | $(MLTON) -output bin/domtool-client src/domtool-client.mlb |
0cfb3669 |
147 | |
037af74e |
148 | bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb |
97d03e40 |
149 | $(MLTON) -output bin/domtool-slave src/domtool-slave.mlb |
a7bcd59c |
150 | |
e2130d9c |
151 | bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb |
97d03e40 |
152 | $(MLTON) -output bin/domtool-admin src/domtool-admin.mlb |
e2130d9c |
153 | |
e26d6b6e |
154 | bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb |
97d03e40 |
155 | $(MLTON) -output bin/domtool-doc src/domtool-doc.mlb |
e26d6b6e |
156 | |
634d7082 |
157 | bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb |
97d03e40 |
158 | $(MLTON) -output bin/dbtool src/dbtool.mlb |
634d7082 |
159 | |
c45f1662 |
160 | bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb |
97d03e40 |
161 | $(MLTON) -output bin/vmail src/vmail.mlb |
c45f1662 |
162 | |
bb8cc8c9 |
163 | bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb |
0a742954 |
164 | $(MLTON) -output bin/setsa src/setsa.mlb |
bb8cc8c9 |
165 | |
c685120e |
166 | bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb |
97d03e40 |
167 | $(MLTON) -output bin/smtplog src/smtplog.mlb |
c685120e |
168 | |
62492205 |
169 | bin/mysql-fixperms: $(COMMON_MLTON_DEPS) src/mysql-fixperms.mlb |
170 | $(MLTON) -output bin/mysql-fixperms src/mysql-fixperms.mlb |
171 | |
efe5fa28 |
172 | bin/webbw: $(COMMON_MLTON_DEPS) src/stats/webbw.mlb |
173 | mlton -output bin/webbw src/stats/webbw.mlb |
174 | |
9b3f6729 |
175 | elisp/domtool-tables.el: lib/*.dtl bin/domtool-doc |
176 | bin/domtool-doc -basis -emacs >$@ |
177 | |
30aa8eed |
178 | install_sos: |
179 | cp openssl/openssl_sml.so /usr/local/lib/ |
180 | cp pcre/pcre_sml.so /usr/local/lib/ |
181 | |
182 | install: install_sos |
c5ae7537 |
183 | cp scripts/domtool-publish /usr/local/sbin/ |
6731761e |
184 | cp scripts/domtool-reset-global /usr/local/sbin/ |
185 | cp scripts/domtool-reset-local /usr/local/sbin/ |
a82d7967 |
186 | cp scripts/domtool-adduser /usr/local/bin/ |
187 | cp scripts/domtool-addcert /usr/local/bin/ |
b247eba3 |
188 | cp scripts/domtool-addcert-daemon /usr/local/bin/ |
a82d7967 |
189 | cp scripts/domtool-addacl /usr/local/bin/ |
190 | cp scripts/domtool-rmuser /usr/local/bin/ |
93176f2b |
191 | cp scripts/domtool-admin-sudo /usr/local/bin/ |
192 | cp scripts/domtool-server-logged /usr/local/bin/ |
aef9c54f |
193 | cp scripts/domtool-slave-logged /usr/local/bin/ |
194 | cp scripts/domtool-server /etc/init.d/ |
195 | cp scripts/domtool-slave /etc/init.d/ |
091a3b81 |
196 | -cp bin/domtool-server /usr/local/sbin/ |
197 | -cp bin/domtool-slave /usr/local/sbin/ |
198 | -cp bin/domtool-client /usr/local/bin/domtool |
199 | -cp bin/domtool-admin /usr/local/bin/ |
200 | -cp bin/domtool-doc /usr/local/bin/ |
634d7082 |
201 | -cp bin/dbtool /usr/local/bin/ |
c45f1662 |
202 | -cp bin/vmail /usr/local/bin/ |
bb8cc8c9 |
203 | -cp bin/setsa /usr/local/bin/ |
c685120e |
204 | -cp bin/smtplog /usr/local/bin/ |
62492205 |
205 | -cp bin/mysql-fixperms /usr/local/bin/ |
36f66a0c |
206 | -cp bin/vmailpasswd /usr/local/bin/ |
efe5fa28 |
207 | -cp bin/webbw /usr/local/sbin/ |
634d7082 |
208 | cp src/plugins/domtool-postgres /usr/local/sbin/ |
d2583946 |
209 | cp src/plugins/domtool-mysql /usr/local/sbin/ |
593d6ab2 |
210 | -mkdir -p $(EMACS_DIR) |
cb7afaeb |
211 | cp elisp/*.el $(EMACS_DIR)/ |
ae175ff1 |
212 | |
59815d99 |
213 | .PHONY: grab_lib install_server install_slave |
ae175ff1 |
214 | |
215 | grab_lib: |
3408676a |
216 | rsync -r --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/ |
59815d99 |
217 | |
218 | install_server: |
219 | sudo /etc/init.d/domtool-server stop |
220 | sudo make install |
221 | sudo /etc/init.d/domtool-server start |
6f51302e |
222 | |
223 | install_slave: |
224 | sudo /etc/init.d/domtool-slave stop |
225 | sudo make install |
226 | sudo /etc/init.d/domtool-slave start |