tools/tools.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 13 10:32:38 2008 +0000 (2008-07-13)
changeset 645 8e58024f8e37
parent 333 d647d0e6021e
child 940 f0f9ba3f98f2
permissions -rw-r--r--
Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.

/trunk/scripts/build/binutils.sh | 2 1 1 0 +-
/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/scripts/build/cc_gcc.sh | 6 3 3 0 +++---
3 files changed, 5 insertions(+), 5 deletions(-)
yann@182
     1
# Makefile for the tools/ sub-directory
yann@182
     2
yann@182
     3
# Here, we can update the config.* scripts.
yann@182
     4
# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
yann@182
     5
# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
yann@182
     6
# scripts are downloaded only for use in CT_TOP_DIR.
yann@182
     7
yann@493
     8
CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
yann@1
     9
CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub"
yann@493
    10
CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
yann@1
    11
CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess"
yann@1
    12
yann@182
    13
$(CT_TOP_DIR)/tools:
yann@182
    14
	@mkdir -p $(CT_TOP_DIR)/tools
yann@182
    15
yann@182
    16
PHONY += updatetools
yann@182
    17
updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
yann@182
    18
yann@182
    19
$(CONFIG_SUB_DEST):
yann@182
    20
	@wget $(CONFIG_SUB_SRC) -O $@
yann@182
    21
	@chmod u+rwx,go+rx-w $@
yann@182
    22
yann@182
    23
$(CONFIG_GUESS_DEST):
yann@182
    24
	@wget $(CONFIG_GUESS_SRC) -O $@
yann@182
    25
	@chmod u+rwx,go+rx-w $@
yann@1
    26
yann@176
    27
help-distrib::
yann@333
    28
	@echo  '  updatetools        - Update the config tools'
yann@182
    29
yann@182
    30
distclean::
yann@182
    31
	@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools