arch/alpha/config.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jun 25 21:56:36 2008 +0000 (2008-06-25)
changeset 622 259d3b95bfad
child 628 87802cb25a0f
permissions -rw-r--r--
Don't force building target GMP and MPFR when a native gdb is built. Rather,
add a config knob to configure the native gdb to use or not to use GMP and
MPFR; _this_config_knob_ will force building the target GMP and MPFR only if
turned on.

/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/config/debug/gdb.in | 21 19 2 0 +++++++++++++++++++--
2 files changed, 20 insertions(+), 3 deletions(-)
yann@557
     1
# Alpha specific configuration file
yann@557
     2
yann@557
     3
comment "Alpha specific configuration"
yann@557
     4
yann@557
     5
choice
yann@557
     6
    bool
yann@557
     7
    prompt "Variant"
yann@557
     8
yann@557
     9
config ARCH_ALPHA_EV4
yann@557
    10
    bool
yann@557
    11
    prompt "EV4"
yann@557
    12
yann@557
    13
config ARCH_ALPHA_EV45
yann@557
    14
    bool
yann@557
    15
    prompt "EV45"
yann@557
    16
yann@557
    17
config ARCH_ALPHA_EV5
yann@557
    18
    bool
yann@557
    19
    prompt "EV5"
yann@557
    20
yann@557
    21
config ARCH_ALPHA_EV56
yann@557
    22
    bool
yann@557
    23
    prompt "EV56"
yann@557
    24
yann@557
    25
config ARCH_ALPHA_EV6
yann@557
    26
    bool
yann@557
    27
    prompt "EV6"
yann@557
    28
yann@557
    29
config ARCH_ALPHA_EV67
yann@557
    30
    bool
yann@557
    31
    prompt "EV67"
yann@557
    32
yann@557
    33
endchoice
yann@557
    34
yann@557
    35
config ARCH_ALPHA_VARIANT
yann@557
    36
    string
yann@557
    37
    default "ev4"   if ARCH_ALPHA_EV4
yann@557
    38
    default "ev45"  if ARCH_ALPHA_EV45
yann@557
    39
    default "ev5"   if ARCH_ALPHA_EV5
yann@557
    40
    default "ev56"  if ARCH_ALPHA_EV56
yann@557
    41
    default "ev6"   if ARCH_ALPHA_EV6
yann@557
    42
    default "ev67"  if ARCH_ALPHA_EV67
yann@557
    43
yann@557
    44
config ARCH_CPU
yann@557
    45
    default "ev4"   if ARCH_ALPHA_EV4
yann@557
    46
    default "ev45"  if ARCH_ALPHA_EV45
yann@557
    47
    default "ev5"   if ARCH_ALPHA_EV5
yann@557
    48
    default "ev56"  if ARCH_ALPHA_EV56
yann@557
    49
    default "ev6"   if ARCH_ALPHA_EV6
yann@557
    50
    default "ev67"  if ARCH_ALPHA_EV67
yann@557
    51
yann@557
    52
config ARCH_TUNE
yann@557
    53
    default "ev4"   if ARCH_ALPHA_EV4
yann@557
    54
    default "ev45"  if ARCH_ALPHA_EV45
yann@557
    55
    default "ev5"   if ARCH_ALPHA_EV5
yann@557
    56
    default "ev56"  if ARCH_ALPHA_EV56
yann@557
    57
    default "ev6"   if ARCH_ALPHA_EV6
yann@557
    58
    default "ev67"  if ARCH_ALPHA_EV67