scripts/scripts.mk
author Cody Schafer <dev@codyps.com>
Fri May 09 19:10:08 2014 -0700 (2014-05-09)
changeset 3310 6fb47591d19d
parent 1618 7f52e1cca71e
permissions -rw-r--r--
arch: add option to let gccdecide what floating point to use

Add an ARCH_FLOAT_AUTO option to avoid passing float options
to gcc and allow it to choose

Signed-off-by: Cody P Schafer <dev@codyps.com>
[yann.morin.1998@free.fr: slightly reword the commit log]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <088489641f4790262685.1399687813@localhost>
Patchwork-Id: 347584
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