tools/tools.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Nov 13 17:34:44 2008 +0000 (2008-11-13)
changeset 1039 b534a133daf4
parent 1001 c8ac48ba1411
permissions -rw-r--r--
Make the 'updatetools' rule conform to the V={,0,1,2} verbosity level.

/trunk/tools/tools.mk | 28 20 8 0 ++++++++++++++++++++--------
1 file changed, 20 insertions(+), 8 deletions(-)
     1 # Makefile for the tools/ sub-directory
     2 
     3 # Here, we can update the config.* scripts.
     4 # If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
     5 # scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
     6 # scripts are downloaded only for use in CT_TOP_DIR.
     7 
     8 # ----------------------------------------------------------
     9 # The tools help entry
    10 
    11 help-distrib::
    12 	@echo  '  updatetools        - Update the config tools'
    13 
    14 # ----------------------------------------------------------
    15 # Where to get tools from, and where to store them into
    16 # The tools are: config.guess and config.sub
    17 
    18 CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
    19 CONFIG_SUB_DEST=tools/config.sub
    20 CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
    21 CONFIG_GUESS_DEST=tools/config.guess
    22 
    23 # Kludge: we have a step that is called 'tools', and thus we can not define a
    24 # rule here that is named 'tools'. Naming it 'tools/' does not help either.
    25 # Thus, prepend the top directory to have a single rule description. This is
    26 # not as bad as it seems, because it is only refered to by teo rules in this
    27 # file, but still it is a kludge...
    28 $(CT_TOP_DIR)/tools:
    29 	$(SILENT)mkdir -p tools
    30 
    31 PHONY += updatetools
    32 updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
    33 
    34 # ----------------------------------------------------------
    35 # How to retrieve the tools
    36 
    37 wget_opt=-o /dev/null
    38 ifeq ($(strip $(V)),2)
    39   wget_opt=
    40 endif
    41 
    42 $(CONFIG_SUB_DEST): .FORCE $(CT_TOP_DIR)/tools
    43 	@$(ECHO) '  WGET  $@'
    44 	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC)
    45 	$(SILENT)chmod u+rwx,go+rx-w $@
    46 
    47 $(CONFIG_GUESS_DEST): .FORCE $(CT_TOP_DIR)/tools
    48 	@$(ECHO) '  WGET  $@'
    49 	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
    50 	$(SILENT)chmod u+rwx,go+rx-w $@
    51 
    52 # ----------------------------------------------------------
    53 # Clean up the mess
    54 
    55 distclean::
    56 	@$(ECHO) "  CLEAN tools"
    57 	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools