Zone serial number generation

[hcoop/domtool2.git] / Makefile

diff --git a/Makefile b/Makefile
index 4cbd293..bd83eb1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -73,13 +73,15 @@ openssl/mlton/FFI/libssl.h.mlb: openssl/openssl_sml.h
 bin/domtool-server: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-server.mlb src/domtool.lex.sml \
                src/domtool.grm.sig src/domtool.grm.sml \
 bin/domtool-server: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-server.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-server -link-opt -ldl src/domtool-server.mlb
 
 bin/domtool-client: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-client.mlb src/domtool.lex.sml \
                src/domtool.grm.sig src/domtool.grm.sml \
        mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb
 
 bin/domtool-client: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-client.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-client -link-opt -ldl src/domtool-client.mlb
 
 bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \
        mlton -output bin/domtool-client -link-opt -ldl src/domtool-client.mlb
 
 bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \