X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/931aae1463c95af3bb24a5cec367fe657a478856..e9256fdc19decc6158d7c781828395e3b512216c:/Makefile?ds=sidebyside

diff --git a/Makefile b/Makefile
index c837af1..b92bf32 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ EMACS_DIR := /usr/local/share/emacs/site-lisp/domtool-mode
 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 \
@@ -175,7 +175,11 @@ bin/webbw: $(COMMON_MLTON_DEPS) src/stats/webbw.mlb
 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/
@@ -189,8 +193,6 @@ install:
 	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