scripts/scripts.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon May 25 17:26:21 2009 +0000 (2009-05-25)
branchgcc-4.4
changeset 1383 46658e3fc781
child 1618 7f52e1cca71e
permissions -rw-r--r--
/devel/gcc-4.4:
- GMP: unconditionnaly build the C++ wrappers and use exceptions

-------- diffstat follows --------
/devel/gcc-4.4/scripts/build/companion_libs/gmp.sh | 11 2 9 0 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
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