config/arch/alpha.in.2
author Bernhard Walle <bernhard@bwalle.de>
Sun Dec 08 12:53:14 2013 +0100 (2013-12-08)
changeset 3253 15c6976026f3
parent 1716 6bbf206a5b57
permissions -rw-r--r--
complibs/ppl: Fix build of ppl 0.11.2 with gmp 5.1 and later

The fix is backported from
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9f843aecc23981aec6ed1eaa8be06e6786a47f0d.

Signed-off-by: Bernhard Walle <bernhard@bwalle.de>
Message-Id: <9a012bed87b494cfe0d4.1386503894@euler.fritz.box>
Patchwork-Id: 298789
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