author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Sun Jul 24 20:30:52 2011 +0200 (2011-07-24) | |
changeset 2570 | 2651341cc084 |
parent 1618 | 7f52e1cca71e |
permissions | -rw-r--r-- |
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 |