1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/tools/tools.mk Mon Jul 30 21:23:53 2007 +0000
1.3 @@ -0,0 +1,31 @@
1.4 +# Makefile for the tools/ sub-directory
1.5 +
1.6 +# Here, we can update the config.* scripts.
1.7 +# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
1.8 +# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
1.9 +# scripts are downloaded only for use in CT_TOP_DIR.
1.10 +
1.11 +CONFIG_SUB_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.sub"
1.12 +CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub"
1.13 +CONFIG_GUESS_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.guess"
1.14 +CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess"
1.15 +
1.16 +$(CT_TOP_DIR)/tools:
1.17 + @mkdir -p $(CT_TOP_DIR)/tools
1.18 +
1.19 +PHONY += updatetools
1.20 +updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
1.21 +
1.22 +$(CONFIG_SUB_DEST):
1.23 + @wget $(CONFIG_SUB_SRC) -O $@
1.24 + @chmod u+rwx,go+rx-w $@
1.25 +
1.26 +$(CONFIG_GUESS_DEST):
1.27 + @wget $(CONFIG_GUESS_SRC) -O $@
1.28 + @chmod u+rwx,go+rx-w $@
1.29 +
1.30 +help-distrib::
1.31 + @echo ' updatetools - Update the config tools'
1.32 +
1.33 +distclean::
1.34 + @[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools