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 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 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 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 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/