author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Mon Jun 30 11:33:52 2008 +0000 (2008-06-30) | |
changeset 633 | 9193aa9460db |
parent 333 | d647d0e6021e |
child 940 | f0f9ba3f98f2 |
permissions | -rw-r--r-- |
yann@182 | 1 |
# Makefile for the tools/ sub-directory |
yann@182 | 2 |
|
yann@182 | 3 |
# Here, we can update the config.* scripts. |
yann@182 | 4 |
# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those |
yann@182 | 5 |
# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those |
yann@182 | 6 |
# scripts are downloaded only for use in CT_TOP_DIR. |
yann@182 | 7 |
|
yann@493 | 8 |
CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD" |
yann@1 | 9 |
CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub" |
yann@493 | 10 |
CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD" |
yann@1 | 11 |
CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess" |
yann@1 | 12 |
|
yann@182 | 13 |
$(CT_TOP_DIR)/tools: |
yann@182 | 14 |
@mkdir -p $(CT_TOP_DIR)/tools |
yann@182 | 15 |
|
yann@182 | 16 |
PHONY += updatetools |
yann@182 | 17 |
updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST) |
yann@182 | 18 |
|
yann@182 | 19 |
$(CONFIG_SUB_DEST): |
yann@182 | 20 |
@wget $(CONFIG_SUB_SRC) -O $@ |
yann@182 | 21 |
@chmod u+rwx,go+rx-w $@ |
yann@182 | 22 |
|
yann@182 | 23 |
$(CONFIG_GUESS_DEST): |
yann@182 | 24 |
@wget $(CONFIG_GUESS_SRC) -O $@ |
yann@182 | 25 |
@chmod u+rwx,go+rx-w $@ |
yann@1 | 26 |
|
yann@176 | 27 |
help-distrib:: |
yann@333 | 28 |
@echo ' updatetools - Update the config tools' |
yann@182 | 29 |
|
yann@182 | 30 |
distclean:: |
yann@182 | 31 |
@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools |