Listing vmail mailboxes

[hcoop/domtool2.git] / Makefile

all: mlton

COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
	openssl/openssl_sml.so

.PHONY: all mlton smlnj install

mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
	bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail

smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm

configDefault/config.sig: src/config.sig.header \
		configDefault/*.csg configDefault/*.cfs \
		src/config.sig.footer
	cat configDefault/*.csg \
		src/config.sig.header \
		configDefault/*.cfs \
		src/config.sig.footer \
		>configDefault/config.sig

configDefault/configDefault.sml: src/configDefault.sml.header \
		configDefault/*.cfg src/configDefault.sml.footer
	cat src/configDefault.sml.header \
		configDefault/*.cfg \
		src/configDefault.sml.footer \
		>configDefault/configDefault.sml

openssl/openssl_sml.o: openssl/openssl_sml.c
	gcc -fPIC -c openssl/openssl_sml.c -o openssl/openssl_sml.o

openssl/openssl_sml.so: openssl/openssl_sml.o
	gcc -shared -Wl,-soname,openssl_sml.so \
		-o openssl/openssl_sml.so \
		openssl/openssl_sml.o -lssl

src/domtool.cm: src/prefix.cm src/sources
	cat src/prefix.cm src/sources >src/domtool.cm

MAKE_MLB_BASE := cat src/prefix.mlb src/sources src/suffix.mlb \
	| sed 's/^\(.*\).grm$$/\1.grm.sig\n\1.grm.sml/' \
	| sed 's/^\(.*\).lex$$/\1.lex.sml/'

src/domtool-server.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/domtool-server.mlb
	echo "main-server.sml" >>src/domtool-server.mlb

src/domtool-client.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/domtool-client.mlb
	echo "main-client.sml" >>src/domtool-client.mlb

src/domtool-slave.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/domtool-slave.mlb
	echo "main-slave.sml" >>src/domtool-slave.mlb

src/domtool-admin.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/domtool-admin.mlb
	echo "main-admin.sml" >>src/domtool-admin.mlb

src/domtool-doc.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/domtool-doc.mlb
	echo "main-doc.sml" >>src/domtool-doc.mlb

src/dbtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/dbtool.mlb
	echo "main-dbtool.sml" >>src/dbtool.mlb

src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb
	$(MAKE_MLB_BASE) >src/vmail.mlb
	echo "main-vmail.sml" >>src/vmail.mlb

openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h
	cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \
	-cm libssl.h.cm -D__builtin_va_list="void*" \
	../openssl_sml.h

openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h
	cd openssl/mlton ; mlnlffigen -dir FFI -libhandle LibsslH.libh -include ../libssl-h.sml \
	-mlbfile libssl.h.mlb -cppopt -D__builtin_va_list="void*" \
	../openssl_sml.h

%.lex.sml: %.lex
	mllex $<

%.grm.sig %.grm.sml: %.grm
	mlyacc $<

COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
	src/domtool.lex.sml \
	src/domtool.grm.sig src/domtool.grm.sml \
	$(COMMON_DEPS) src/*.sig src/*.sml \
	src/plugins/*.sig src/plugins/*.sml

bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb 
	mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb

bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb
	mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb

bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
	mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb

bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb
	mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb

bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
	mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb

bin/dbtool: $(COMMON_MLTON_DEPS) src/dbtool.mlb
	mlton -output bin/dbtool -link-opt -ldl src/dbtool.mlb

bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
	mlton -output bin/vmail -link-opt -ldl src/vmail.mlb

install:
	cp scripts/domtool-publish /usr/local/sbin/
	cp scripts/domtool-reset-global /usr/local/sbin/
	cp scripts/domtool-reset-local /usr/local/sbin/
	cp scripts/domtool-adduser /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 openssl/openssl_sml.so /usr/local/lib/
	-cp bin/domtool-server /usr/local/sbin/
	-cp bin/domtool-slave /usr/local/sbin/
	-cp bin/domtool-client /usr/local/bin/domtool
	-cp bin/domtool-admin /usr/local/bin/
	-cp bin/domtool-doc /usr/local/bin/
	-cp bin/dbtool /usr/local/bin/
	-cp bin/vmail /usr/local/bin/
	cp src/plugins/domtool-postgres /usr/local/sbin/
	cp src/plugins/domtool-mysql /usr/local/sbin/

.PHONY: grab_lib

grab_lib:
	rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/