tools/tools.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Jul 28 21:32:33 2008 +0000 (2008-07-28)
changeset 747 d3e603e7c17c
parent 333 d647d0e6021e
child 940 f0f9ba3f98f2
permissions -rw-r--r--
Fourth step at renaming patches: renumber all patches with a 10-step.
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