Printing mailbox locations for vmail list
[hcoop/domtool2.git] / Makefile
CommitLineData
a49a9bfb 1all: mlton
0d2ce070 2
a49a9bfb
AC
3COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
4 openssl/openssl_sml.so
5
361a1e7f 6.PHONY: all mlton smlnj install
a49a9bfb 7
44a5ce2f 8mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
08688401 9 bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail
a49a9bfb
AC
10
11smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm
0d2ce070
AC
12
13configDefault/config.sig: src/config.sig.header \
8df2e702
AC
14 configDefault/*.csg configDefault/*.cfs \
15 src/config.sig.footer
16 cat configDefault/*.csg \
17 src/config.sig.header \
0d2ce070
AC
18 configDefault/*.cfs \
19 src/config.sig.footer \
20 >configDefault/config.sig
21
22configDefault/configDefault.sml: src/configDefault.sml.header \
23 configDefault/*.cfg src/configDefault.sml.footer
24 cat src/configDefault.sml.header \
25 configDefault/*.cfg \
26 src/configDefault.sml.footer \
27 >configDefault/configDefault.sml
28
559e89e9
AC
29openssl/openssl_sml.o: openssl/openssl_sml.c
30 gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o
31
32openssl/openssl_sml.so: openssl/openssl_sml.o
33 gcc -shared -Wl,-soname,openssl_sml.so \
34 -o openssl/openssl_sml.so \
35 openssl/openssl_sml.o -lssl
36
d541c618 37src/domtool.cm: src/prefix.cm src/sources
a49a9bfb
AC
38 cat src/prefix.cm src/sources >src/domtool.cm
39
7a2b27f0
AC
40MAKE_MLB_BASE := cat src/prefix.mlb src/sources src/suffix.mlb \
41 | sed 's/^\(.*\).grm$$/\1.grm.sig\n\1.grm.sml/' \
42 | sed 's/^\(.*\).lex$$/\1.lex.sml/'
43
d541c618 44src/domtool-server.mlb: src/prefix.mlb src/sources src/suffix.mlb
7a2b27f0 45 $(MAKE_MLB_BASE) >src/domtool-server.mlb
a49a9bfb
AC
46 echo "main-server.sml" >>src/domtool-server.mlb
47
d541c618 48src/domtool-client.mlb: src/prefix.mlb src/sources src/suffix.mlb
7a2b27f0 49 $(MAKE_MLB_BASE) >src/domtool-client.mlb
361a1e7f
AC
50 echo "main-client.sml" >>src/domtool-client.mlb
51
d541c618 52src/domtool-slave.mlb: src/prefix.mlb src/sources src/suffix.mlb
7a2b27f0 53 $(MAKE_MLB_BASE) >src/domtool-slave.mlb
1c246434
AC
54 echo "main-slave.sml" >>src/domtool-slave.mlb
55
d541c618 56src/domtool-admin.mlb: src/prefix.mlb src/sources src/suffix.mlb
5ee41dd0
AC
57 $(MAKE_MLB_BASE) >src/domtool-admin.mlb
58 echo "main-admin.sml" >>src/domtool-admin.mlb
59
d541c618 60src/domtool-doc.mlb: src/prefix.mlb src/sources src/suffix.mlb
44a5ce2f
AC
61 $(MAKE_MLB_BASE) >src/domtool-doc.mlb
62 echo "main-doc.sml" >>src/domtool-doc.mlb
63
d541c618
AC
64src/dbtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
65 $(MAKE_MLB_BASE) >src/dbtool.mlb
66 echo "main-dbtool.sml" >>src/dbtool.mlb
67
08688401
AC
68src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb
69 $(MAKE_MLB_BASE) >src/vmail.mlb
70 echo "main-vmail.sml" >>src/vmail.mlb
71
559e89e9
AC
72openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h
73 cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \
74 -cm libssl.h.cm -D__builtin_va_list="void*" \
75 ../openssl_sml.h
a49a9bfb
AC
76
77openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h
78 cd openssl/mlton ; mlnlffigen -dir FFI -libhandle LibsslH.libh -include ../libssl-h.sml \
79 -mlbfile libssl.h.mlb -cppopt -D__builtin_va_list="void*" \
80 ../openssl_sml.h
81
82%.lex.sml: %.lex
a088cea6 83 mllex $<
a49a9bfb
AC
84
85%.grm.sig %.grm.sml: %.grm
a088cea6 86 mlyacc $<
a49a9bfb 87
7a2b27f0
AC
88COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
89 src/domtool.lex.sml \
90 src/domtool.grm.sig src/domtool.grm.sml \
91 $(COMMON_DEPS) src/*.sig src/*.sml \
9ffe2f0f
AC
92 src/plugins/*.sig src/plugins/*.sml \
93 src/mail/*.sig src/mail/*.sml
7a2b27f0
AC
94
95bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
a49a9bfb 96 mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb
361a1e7f 97
7a2b27f0 98bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb
361a1e7f
AC
99 mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb
100
7a2b27f0 101bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
1c246434
AC
102 mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
103
5ee41dd0
AC
104bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb
105 mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb
106
44a5ce2f
AC
107bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
108 mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb
109
d541c618
AC
110bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
111 mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb
112
08688401
AC
113bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
114 mlton -output bin/vmail -link-opt -ldl src/vmail.mlb
115
361a1e7f 116install:
27e20924 117 cp scripts/domtool-publish /usr/local/sbin/
8ae99fef
AC
118 cp scripts/domtool-reset-global /usr/local/sbin/
119 cp scripts/domtool-reset-local /usr/local/sbin/
385c3534
AC
120 cp scripts/domtool-adduser /usr/local/bin/
121 cp scripts/domtool-addcert /usr/local/bin/
122 cp scripts/domtool-addacl /usr/local/bin/
123 cp scripts/domtool-rmuser /usr/local/bin/
27e20924 124 cp openssl/openssl_sml.so /usr/local/lib/
76bad1b2
AC
125 -cp bin/domtool-server /usr/local/sbin/
126 -cp bin/domtool-slave /usr/local/sbin/
127 -cp bin/domtool-client /usr/local/bin/domtool
128 -cp bin/domtool-admin /usr/local/bin/
129 -cp bin/domtool-doc /usr/local/bin/
d541c618 130 -cp bin/dbtool /usr/local/bin/
08688401 131 -cp bin/vmail /usr/local/bin/
d541c618 132 cp src/plugins/domtool-postgres /usr/local/sbin/
ae147938 133 cp src/plugins/domtool-mysql /usr/local/sbin/
15e529d6
AC
134
135.PHONY: grab_lib
136
137grab_lib:
138 rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/