Serial number processing

[hcoop/domtool2.git] / Makefile

diff --git a/Makefile b/Makefile
index f32d0b0..4cbd293 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -85,7 +85,8 @@ bin/domtool-client: openssl/mlton/FFI/libssl.h.mlb \
 bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-slave.mlb src/domtool.lex.sml \
                src/domtool.grm.sig src/domtool.grm.sml \
-               $(COMMON_DEPS) src/*.sig src/*.sml
+               $(COMMON_DEPS) src/*.sig src/*.sml \
+               src/plugins/*.sig src/plugins/*.sml
        mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
 
 install:
@@ -94,3 +95,8 @@ install:
        cp bin/domtool-server /usr/local/sbin/
        cp bin/domtool-slave /usr/local/sbin/
        cp bin/domtool-client /usr/local/bin/domtool
+
+.PHONY: grab_lib
+
+grab_lib:
+       rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/