c342e144 |
1 | all: mlton |
333d26a4 |
2 | |
c342e144 |
3 | COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \ |
4 | openssl/openssl_sml.so |
5 | |
0cfb3669 |
6 | .PHONY: all mlton smlnj install |
c342e144 |
7 | |
e26d6b6e |
8 | mlton: 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 | |
12 | smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm |
333d26a4 |
13 | |
14 | configDefault/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 | |
23 | configDefault/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 |
30 | openssl/openssl_sml.o: openssl/openssl_sml.c |
31 | gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o |
32 | |
33 | openssl/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 |
38 | src/domtool.cm: src/prefix.cm src/sources |
c342e144 |
39 | cat src/prefix.cm src/sources >src/domtool.cm |
40 | |
037af74e |
41 | MAKE_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 |
45 | src/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 |
49 | src/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 |
53 | src/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 |
57 | src/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 |
61 | src/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 |
65 | src/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 |
69 | src/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 |
73 | src/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 |
77 | src/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 |
81 | openssl/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 | |
86 | openssl/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 |
97 | COMMON_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 | |
104 | bin/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 |
107 | bin/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 |
110 | bin/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 |
113 | bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb |
114 | mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb |
115 | |
e26d6b6e |
116 | bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb |
117 | mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb |
118 | |
634d7082 |
119 | bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb |
120 | mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb |
121 | |
c45f1662 |
122 | bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb |
123 | mlton -output bin/vmail -link-opt -ldl src/vmail.mlb |
124 | |
bb8cc8c9 |
125 | bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb |
126 | mlton -output bin/setsa -link-opt -ldl src/setsa.mlb |
127 | |
c685120e |
128 | bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb |
129 | mlton -output bin/smtplog -link-opt -ldl src/smtplog.mlb |
130 | |
0cfb3669 |
131 | install: |
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 | |
154 | grab_lib: |
155 | rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/ |