config/arch/alpha.in.2
author Anthony Foiani <anthony.foiani@gmail.com>
Thu May 19 23:09:43 2011 +0200 (2011-05-19)
changeset 2462 139b85d70b62
parent 1716 6bbf206a5b57
permissions -rw-r--r--
complibs/ppl: fix 0.11-0.11.2 to compile with --disable-shared

PPL 0.11 (through 0.11.2) had a small bug where it still tried to build
and test its Java interface even when shared libraries are disabled.
Since that's exactly what ct-ng does, it explodes.

This is the patch from the PPL authors (see final link below).

More information can be found in these messages/threads:

Anthony's initial report and analysis with Yann:
http://www.cygwin.com/ml/crossgcc/2011-05/msg00046.html

Ron Flory hit the same problem:
http://www.cygwin.com/ml/crossgcc/2011-05/msg00054.html

Anthony's report to the ppl-devel list:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-May/017450.html

Roberto's reply with a link to the fix in the PPL git repo:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-May/017455.html

Signed-Off-By: Anthony Foiani <anthony.foiani@gmail.com>
     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