HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Domain alias support for e-mail aliases
[hcoop/domtool2.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index
15a2272
..
31f72ba
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-101,32
+101,38
@@
COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
src/plugins/*.sig src/plugins/*.sml \
src/mail/*.sig src/mail/*.sml
src/plugins/*.sig src/plugins/*.sml \
src/mail/*.sig src/mail/*.sml
+MLTON := mlton -link-opt -ldl
+
+ifdef DEBUG
+ MLTON += -const 'Exn.keepHistory true'
+endif
+
bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
-
mlton -output bin/domtool-server -link-opt -ldl
src/domtool-server.mlb
+
$(MLTON) -output bin/domtool-server
src/domtool-server.mlb
bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb
bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb
-
mlton -output bin/domtool-client -link-opt -ldl
src/domtool-client.mlb
+
$(MLTON) -output bin/domtool-client
src/domtool-client.mlb
bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
-
mlton -output bin/domtool-slave -link-opt -ldl
src/domtool-slave.mlb
+
$(MLTON) -output bin/domtool-slave
src/domtool-slave.mlb
bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb
bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb
-
mlton -output bin/domtool-admin -link-opt -ldl
src/domtool-admin.mlb
+
$(MLTON) -output bin/domtool-admin
src/domtool-admin.mlb
bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
-
mlton -output bin/domtool-doc -link-opt -ldl
src/domtool-doc.mlb
+
$(MLTON) -output bin/domtool-doc
src/domtool-doc.mlb
bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
-
mlton -output bin/dbtool -link-opt -ld
l src/dbtool.mlb
+
$(MLTON) -output bin/dbtoo
l src/dbtool.mlb
bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
-
mlton -output bin/vmail -link-opt -ld
l src/vmail.mlb
+
$(MLTON) -output bin/vmai
l src/vmail.mlb
bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
-
mlton -output bin/setsa -link-opt
-ldl src/setsa.mlb
+
$(MLTON) -output bin/setsa
-ldl src/setsa.mlb
bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
-
mlton -output bin/smtplog -link-opt -ldl
src/smtplog.mlb
+
$(MLTON) -output bin/smtplog
src/smtplog.mlb
install:
cp scripts/domtool-publish /usr/local/sbin/
install:
cp scripts/domtool-publish /usr/local/sbin/
@@
-136,6
+142,11
@@
install:
cp scripts/domtool-addcert /usr/local/bin/
cp scripts/domtool-addacl /usr/local/bin/
cp scripts/domtool-rmuser /usr/local/bin/
cp scripts/domtool-addcert /usr/local/bin/
cp scripts/domtool-addacl /usr/local/bin/
cp scripts/domtool-rmuser /usr/local/bin/
+ cp scripts/domtool-admin-sudo /usr/local/bin/
+ cp scripts/domtool-server-logged /usr/local/bin/
+ cp scripts/domtool-slave-logged /usr/local/bin/
+ cp scripts/domtool-server /etc/init.d/
+ cp scripts/domtool-slave /etc/init.d/
cp openssl/openssl_sml.so /usr/local/lib/
-cp bin/domtool-server /usr/local/sbin/
-cp bin/domtool-slave /usr/local/sbin/
cp openssl/openssl_sml.so /usr/local/lib/
-cp bin/domtool-server /usr/local/sbin/
-cp bin/domtool-slave /usr/local/sbin/