scripts/scripts.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 02 20:06:44 2009 +0200 (2009-08-02)
changeset 1446 0a44fc4d6bd0
child 1618 7f52e1cca71e
permissions -rw-r--r--
[config] Allow user to specify custom CONFIG_SHELL

In case the shell the user wants to use as CONFIG_SHELL is located in a
weird place (eg. /opt/bash/bin/bash), or is weirdly named (eg. bash-4),
let the user enter the patch to the shell.
yann@1101
     1
# Makefile for the scripts/ sub-directory
yann@1101
     2
yann@1101
     3
# Here, we can update the config.* scripts.
yann@1101
     4
# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
yann@1101
     5
# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
yann@1101
     6
# scripts are downloaded only for use in CT_TOP_DIR.
yann@1101
     7
yann@1101
     8
# ----------------------------------------------------------
yann@1101
     9
# The tools help entry
yann@1101
    10
yann@1101
    11
help-distrib::
yann@1101
    12
	@echo  '  updatetools        - Update the config tools'
yann@1101
    13
yann@1101
    14
# ----------------------------------------------------------
yann@1101
    15
# Where to get tools from, and where to store them into
yann@1101
    16
# The tools are: config.guess and config.sub
yann@1101
    17
yann@1101
    18
CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
yann@1101
    19
CONFIG_SUB_DEST=scripts/config.sub
yann@1101
    20
CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
yann@1101
    21
CONFIG_GUESS_DEST=scripts/config.guess
yann@1101
    22
yann@1101
    23
PHONY += updatetools
yann@1101
    24
updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
yann@1101
    25
yann@1101
    26
# ----------------------------------------------------------
yann@1101
    27
# How to retrieve the tools
yann@1101
    28
yann@1101
    29
wget_opt=-o /dev/null
yann@1101
    30
ifeq ($(strip $(V)),2)
yann@1101
    31
  wget_opt=
yann@1101
    32
endif
yann@1101
    33
yann@1101
    34
PHONY += scripts
yann@1101
    35
scripts:
yann@1101
    36
	$(SILENT)mkdir -p scripts
yann@1101
    37
yann@1101
    38
FROCE += $(CONFIG_SUB_DEST)
yann@1101
    39
$(CONFIG_SUB_DEST): scripts
yann@1101
    40
	@$(ECHO) '  WGET  $@'
yann@1101
    41
	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC)
yann@1101
    42
	$(SILENT)chmod u+rwx,go+rx-w $@
yann@1101
    43
yann@1101
    44
FORCE += $(CONFIG_GUESS_DEST)
yann@1101
    45
$(CONFIG_GUESS_DEST): scripts
yann@1101
    46
	@$(ECHO) '  WGET  $@'
yann@1101
    47
	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
yann@1101
    48
	$(SILENT)chmod u+rwx,go+rx-w $@
yann@1101
    49
yann@1101
    50
# ----------------------------------------------------------
yann@1101
    51
# Clean up the mess
yann@1101
    52
yann@1101
    53
distclean::
yann@1101
    54
	@$(ECHO) "  CLEAN scripts"
yann@1101
    55
	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/scripts