config/arch/alpha.in.2
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22)
changeset 2305 2ed26c646568
parent 1716 6bbf206a5b57
permissions -rw-r--r--
scripts: create the makeinfo wrapper before we set PATH

If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.

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