HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make regen work even when someone has compilation errors
[hcoop/domtool2.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index
a509c0b
..
43719ea
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1,7
+1,10
@@
all: mlton
COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
all: mlton
COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
- openssl/openssl_sml.so
+ openssl/openssl_sml.so config.sml
+
+config.sml:
+ echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
.PHONY: all mlton smlnj install
.PHONY: all mlton smlnj install
@@
-101,32
+104,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
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/
@@
-157,4
+166,4
@@
install:
.PHONY: grab_lib
grab_lib:
.PHONY: grab_lib
grab_lib:
- rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/
+ rsync -
r -
-delete /afs/hcoop.net/common/etc/domtool/lib/* lib/