config/arch/alpha.in.2
author Michael Hope <michaelh@juju.net.nz>
Thu Aug 01 20:24:35 2013 +0000 (2013-08-01)
changeset 3230 86a8d1d467c8
parent 1716 6bbf206a5b57
permissions -rw-r--r--
complibs/isl: add HTTP mirror

Add well-known HTTP mirror as a fallback. This lets crosstool-ng
work when behind a HTTP/HTTPS only proxy.

Signed-off-by: Michael Hope <michaelh@juju.net.nz>
[me: split original patch in two]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <aeb4a850d0786ee62dc2.1375559989@wanda>
Patchwork-Id: 264436
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