scripts/scripts.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Dec 19 12:44:21 2009 +0100 (2009-12-19)
branch1.5
changeset 1706 5360c810222d
parent 1101 29ebc048d33f
child 1620 187e06178dcb
permissions -rw-r--r--
scripts: check for, and warn about an unset CT_PREFIX_DIR

The user shall provide a directory to install the toolchain into.
If he/she does not, this is an error, and shall be detected properly,
rather than relying on failure down the road.

Thanks to "Pedro I. Sanchez" <psanchez@colcan.ca> for pointing out
the issue:
http://sourceware.org/ml/crossgcc/2009-12/msg00011.html
(transplanted from e94f4ffddd1d07b3841160db71694cd19fda6b03)
     1 # Makefile for the scripts/ 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=scripts/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=scripts/config.guess
    22 
    23 PHONY += updatetools
    24 updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
    25 
    26 # ----------------------------------------------------------
    27 # How to retrieve the tools
    28 
    29 wget_opt=-o /dev/null
    30 ifeq ($(strip $(V)),2)
    31   wget_opt=
    32 endif
    33 
    34 PHONY += scripts
    35 scripts:
    36 	$(SILENT)mkdir -p scripts
    37 
    38 $(CONFIG_SUB_DEST): scripts FORCE
    39 	@$(ECHO) '  WGET  $@'
    40 	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC)
    41 	$(SILENT)chmod u+rwx,go+rx-w $@
    42 
    43 $(CONFIG_GUESS_DEST): scripts FORCE
    44 	@$(ECHO) '  WGET  $@'
    45 	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
    46 	$(SILENT)chmod u+rwx,go+rx-w $@
    47 
    48 # ----------------------------------------------------------
    49 # Clean up the mess
    50 
    51 distclean::
    52 	@$(ECHO) "  CLEAN scripts"
    53 	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/scripts