Makefile

   1 all: mlton
   2
   3 COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
   4         openssl/openssl_sml.so
   5
   6 .PHONY: all mlton smlnj install
   7
   8 mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
   9         bin/domtool-admin bin/domtool-doc
  10
  11 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm
  12
  13 configDefault/config.sig: src/config.sig.header \
  14                 configDefault/*.csg configDefault/*.cfs \
  15                 src/config.sig.footer
  16         cat configDefault/*.csg \
  17                 src/config.sig.header \
  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
  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
  37 src/domtool.cm: Makefile src/prefix.cm src/sources
  38         cat src/prefix.cm src/sources >src/domtool.cm
  39
  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
  44 src/domtool-server.mlb: Makefile src/prefix.mlb src/sources src/suffix.mlb
  45         $(MAKE_MLB_BASE) >src/domtool-server.mlb
  46         echo "main-server.sml" >>src/domtool-server.mlb
  47
  48 src/domtool-client.mlb: Makefile src/prefix.mlb src/sources src/suffix.mlb
  49         $(MAKE_MLB_BASE) >src/domtool-client.mlb
  50         echo "main-client.sml" >>src/domtool-client.mlb
  51
  52 src/domtool-slave.mlb: Makefile src/prefix.mlb src/sources src/suffix.mlb
  53         $(MAKE_MLB_BASE) >src/domtool-slave.mlb
  54         echo "main-slave.sml" >>src/domtool-slave.mlb
  55
  56 src/domtool-admin.mlb: Makefile src/prefix.mlb src/sources src/suffix.mlb
  57         $(MAKE_MLB_BASE) >src/domtool-admin.mlb
  58         echo "main-admin.sml" >>src/domtool-admin.mlb
  59
  60 src/domtool-doc.mlb: Makefile src/prefix.mlb src/sources src/suffix.mlb
  61         $(MAKE_MLB_BASE) >src/domtool-doc.mlb
  62         echo "main-doc.sml" >>src/domtool-doc.mlb
  63
  64 openssl/smlnj/FFI/libssl.h.cm: openssl/openssl_sml.h
  65         cd openssl/smlnj ; ml-nlffigen -d FFI -lh LibsslH.libh -include ../libssl-h.sml \
  66         -cm libssl.h.cm -D__builtin_va_list="void*" \
  67         ../openssl_sml.h
  68
  69 openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h
  70         cd openssl/mlton ; mlnlffigen -dir FFI -libhandle LibsslH.libh -include ../libssl-h.sml \
  71         -mlbfile libssl.h.mlb -cppopt -D__builtin_va_list="void*" \
  72         ../openssl_sml.h
  73
  74 %.lex.sml: %.lex
  75         mllex $<
  76
  77 %.grm.sig %.grm.sml: %.grm
  78         mlyacc $<
  79
  80 COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
  81         src/domtool.lex.sml \
  82         src/domtool.grm.sig src/domtool.grm.sml \
  83         $(COMMON_DEPS) src/*.sig src/*.sml \
  84         src/plugins/*.sig src/plugins/*.sml
  85
  86 bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb
  87         mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb
  88
  89 bin/domtool-client: $(COMMON_MLTON_DEPS) src/domtool-client.mlb
  90         mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb
  91
  92 bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
  93         mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
  94
  95 bin/domtool-admin: $(COMMON_MLTON_DEPS) src/domtool-admin.mlb
  96         mlton -output bin/domtool-admin -link-opt -ldl src/domtool-admin.mlb
  97
  98 bin/domtool-doc: $(COMMON_MLTON_DEPS) src/domtool-doc.mlb
  99         mlton -output bin/domtool-doc -link-opt -ldl src/domtool-doc.mlb
 100
 101 install:
 102         cp scripts/domtool-publish /usr/local/sbin/
 103         cp scripts/domtool-reset-global /usr/local/sbin/
 104         cp scripts/domtool-reset-local /usr/local/sbin/
 105         cp scripts/domtool-adduser /usr/local/bin/
 106         cp scripts/domtool-addcert /usr/local/bin/
 107         cp scripts/domtool-addacl /usr/local/bin/
 108         cp scripts/domtool-rmuser /usr/local/bin/
 109         cp openssl/openssl_sml.so /usr/local/lib/
 110         cp bin/domtool-server /usr/local/sbin/
 111         cp bin/domtool-slave /usr/local/sbin/
 112         cp bin/domtool-client /usr/local/bin/domtool
 113         cp bin/domtool-admin /usr/local/bin/
 114         cp bin/domtool-doc /usr/local/bin/
 115
 116 .PHONY: grab_lib
 117
 118 grab_lib:
 119         rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/