config.sml:
echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
-.PHONY: all mlton smlnj install
+.PHONY: all mlton smlnj install install_sos
mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \
elisp/domtool-tables.el: lib/*.dtl bin/domtool-doc
bin/domtool-doc -basis -emacs >$@
-install:
+install_sos:
+ cp openssl/openssl_sml.so /usr/local/lib/
+ cp pcre/pcre_sml.so /usr/local/lib/
+
+install: install_sos
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-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 pcre/pcre_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