config/arch/alpha.in.2
author Bernhard Walle <bernhard@bwalle.de>
Sun May 11 13:00:36 2014 +0200 (2014-05-11)
changeset 3318 579bc9107f99
parent 1716 6bbf206a5b57
permissions -rw-r--r--
complibs/ppl: Fix build of ppl 0.11.2 with gcc 4.9

From: Roberto Bagnara <bagnara@cs.unipr.it>
Date: Tue, 29 Apr 2014 19:51:43 +0000 (+0200)
Subject: Added missing inclusions. Use std::ptrdiff_t.
X-Git-Url: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl%2Fppl.git;a=commitdiff;h=61d4e14dfd9f1121e9b4521dead5728b2424dd7c

Added missing inclusions. Use std::ptrdiff_t.
(Thanks to Paulo Cesar Pereira de Andrade.)

Signed-off-by: Bernhard Walle <bernhard@bwalle.de>
Message-Id: <5632a171e7c1dc4c0fb5.1399806148@euler.fritz.box>
Patchwork-Id: 347777
     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