Commit | Line | Data |
---|---|---|
a49a9bfb | 1 | all: mlton |
0d2ce070 | 2 | |
a49a9bfb AC |
3 | COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \ |
4 | openssl/openssl_sml.so | |
5 | ||
361a1e7f | 6 | .PHONY: all mlton smlnj install |
a49a9bfb | 7 | |
44a5ce2f | 8 | mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \ |
08688401 | 9 | bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail |
a49a9bfb AC |
10 | |
11 | smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm | |
0d2ce070 AC |
12 | |
13 | configDefault/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 | ||
22 | configDefault/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 |
29 | openssl/openssl_sml.o: openssl/openssl_sml.c |
30 | gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o | |
31 | ||
32 | openssl/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 | 37 | src/domtool.cm: src/prefix.cm src/sources |
a49a9bfb AC |
38 | cat src/prefix.cm src/sources >src/domtool.cm |
39 | ||
7a2b27f0 AC |
40 | MAKE_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 | 44 | src/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 | 48 | src/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 | 52 | src/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 | 56 | src/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 | 60 | src/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 |
64 | src/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 |
68 | src/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 |
72 | openssl/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 | |
77 | openssl/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 |
88 | COMMON_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 \ | |
92 | src/plugins/*.sig src/plugins/*.sml | |
93 | ||
94 | bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb | |
a49a9bfb | 95 | mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb |
361a1e7f | 96 | |
7a2b27f0 | 97 | bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb |
361a1e7f AC |
98 | mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb |
99 | ||
7a2b27f0 | 100 | bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb |
1c246434 AC |
101 | mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb |
102 | ||
5ee41dd0 AC |
103 | bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb |
104 | mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb | |
105 | ||
44a5ce2f AC |
106 | bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb |
107 | mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb | |
108 | ||
d541c618 AC |
109 | bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb |
110 | mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb | |
111 | ||
08688401 AC |
112 | bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb |
113 | mlton -output bin/vmail -link-opt -ldl src/vmail.mlb | |
114 | ||
361a1e7f | 115 | install: |
27e20924 | 116 | cp scripts/domtool-publish /usr/local/sbin/ |
8ae99fef AC |
117 | cp scripts/domtool-reset-global /usr/local/sbin/ |
118 | cp scripts/domtool-reset-local /usr/local/sbin/ | |
385c3534 AC |
119 | cp scripts/domtool-adduser /usr/local/bin/ |
120 | cp scripts/domtool-addcert /usr/local/bin/ | |
121 | cp scripts/domtool-addacl /usr/local/bin/ | |
122 | cp scripts/domtool-rmuser /usr/local/bin/ | |
27e20924 | 123 | cp openssl/openssl_sml.so /usr/local/lib/ |
76bad1b2 AC |
124 | -cp bin/domtool-server /usr/local/sbin/ |
125 | -cp bin/domtool-slave /usr/local/sbin/ | |
126 | -cp bin/domtool-client /usr/local/bin/domtool | |
127 | -cp bin/domtool-admin /usr/local/bin/ | |
128 | -cp bin/domtool-doc /usr/local/bin/ | |
d541c618 | 129 | -cp bin/dbtool /usr/local/bin/ |
08688401 | 130 | -cp bin/vmail /usr/local/bin/ |
d541c618 | 131 | cp src/plugins/domtool-postgres /usr/local/sbin/ |
ae147938 | 132 | cp src/plugins/domtool-mysql /usr/local/sbin/ |
15e529d6 AC |
133 | |
134 | .PHONY: grab_lib | |
135 | ||
136 | grab_lib: | |
137 | rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/ |