Factor path prefixes into ConfigCore structure
[hcoop/domtool2.git] / Makefile
index 3c41a3a..118c5de 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -20,8 +20,9 @@ mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm pcre/smlnj/FFI/libpcre.h.cm \
        src/domtool.cm
+       CFLAGS += -m32
 
-configDefault/config.sig: src/config.sig.header \
+configDefault/config.sig: config/core/core.sig src/config.sig.header \
                configDefault/*.csg configDefault/*.cfs \
                src/config.sig.footer
        cat configDefault/*.csg \
@@ -30,7 +31,7 @@ configDefault/config.sig: src/config.sig.header \
                src/config.sig.footer \
                >configDefault/config.sig
 
-configDefault/configDefault.sml: src/configDefault.sml.header \
+configDefault/configDefault.sml: config/core/core.sml src/configDefault.sml.header \
                configDefault/*.cfg src/configDefault.sml.footer
        cat src/configDefault.sml.header \
                configDefault/*.cfg \
@@ -232,11 +233,9 @@ grab_lib:
 install_server:
        sudo /etc/init.d/domtool-server stop
        sudo make install
-       sudo insserv domtool-server
        sudo /etc/init.d/domtool-server start
 
 install_slave:
        sudo /etc/init.d/domtool-slave stop
        sudo make install
-       sudo insserv domtool-slave
        sudo /etc/init.d/domtool-slave start