scripts/scripts.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22)
changeset 2305 2ed26c646568
parent 1618 7f52e1cca71e
permissions -rw-r--r--
scripts: create the makeinfo wrapper before we set PATH

If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
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@1620
    36
	@$(ECHO) '  MKDIR $@'
yann@1620
    37
	$(SILENT)mkdir -p $@
yann@1101
    38
yann@1618
    39
$(CONFIG_SUB_DEST): scripts FORCE
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@1618
    44
$(CONFIG_GUESS_DEST): scripts FORCE
yann@1101
    45
	@$(ECHO) '  WGET  $@'
yann@1101
    46
	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
yann@1101
    47
	$(SILENT)chmod u+rwx,go+rx-w $@
yann@1101
    48
yann@1101
    49
# ----------------------------------------------------------
yann@1101
    50
# Clean up the mess
yann@1101
    51
yann@1101
    52
distclean::
yann@1101
    53
	@$(ECHO) "  CLEAN scripts"
yann@1101
    54
	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/scripts