config/arch/alpha.in.2
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Jan 28 22:06:49 2011 +0100 (2011-01-28)
changeset 2284 7ede374110e5
parent 1716 6bbf206a5b57
permissions -rw-r--r--
config: add an option not to remove the destination directory

In certain circumstances, removing the destination/installation directory
is a bad idea. For example, when the build environment is already taking
care of sanitising the build tree, and pre-installs stuff in there, it is
a very bad idea to remove the destination directory.

This happens now in buildroot, as the crostool-NG backend now installs the
toolchain in the common host-tools directory, and pre-install there a few
host-utilities (eg. host-automake and host-gawk).

Provide a config knob to turn on/off the removal of the destination
directory, defaulting to 'y' (previous behavior), and forced to 'n' when
used as a backend.

Reported-by: Peter Korsgaard <jacmet@sunsite.dk>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # Alpha specific configuration file
     2 
     3 choice
     4     bool
     5     prompt "Variant"
     6 
     7 config ARCH_ALPHA_EV4
     8     bool
     9     prompt "EV4"
    10 
    11 config ARCH_ALPHA_EV45
    12     bool
    13     prompt "EV45"
    14 
    15 config ARCH_ALPHA_EV5
    16     bool
    17     prompt "EV5"
    18 
    19 config ARCH_ALPHA_EV56
    20     bool
    21     prompt "EV56"
    22 
    23 config ARCH_ALPHA_EV6
    24     bool
    25     prompt "EV6"
    26 
    27 config ARCH_ALPHA_EV67
    28     bool
    29     prompt "EV67"
    30 
    31 endchoice
    32 
    33 config ARCH_ALPHA_VARIANT
    34     string
    35     default "ev4"   if ARCH_ALPHA_EV4
    36     default "ev45"  if ARCH_ALPHA_EV45
    37     default "ev5"   if ARCH_ALPHA_EV5
    38     default "ev56"  if ARCH_ALPHA_EV56
    39     default "ev6"   if ARCH_ALPHA_EV6
    40     default "ev67"  if ARCH_ALPHA_EV67
    41 
    42 config ARCH_CPU
    43     default "ev4"   if ARCH_ALPHA_EV4
    44     default "ev45"  if ARCH_ALPHA_EV45
    45     default "ev5"   if ARCH_ALPHA_EV5
    46     default "ev56"  if ARCH_ALPHA_EV56
    47     default "ev6"   if ARCH_ALPHA_EV6
    48     default "ev67"  if ARCH_ALPHA_EV67
    49 
    50 config ARCH_TUNE
    51     default "ev4"   if ARCH_ALPHA_EV4
    52     default "ev45"  if ARCH_ALPHA_EV45
    53     default "ev5"   if ARCH_ALPHA_EV5
    54     default "ev56"  if ARCH_ALPHA_EV56
    55     default "ev6"   if ARCH_ALPHA_EV6
    56     default "ev67"  if ARCH_ALPHA_EV67