config/arch/alpha.in.2
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu May 17 17:56:27 2012 +0200 (2012-05-17)
changeset 2986 c301df1af7cb
parent 1716 6bbf206a5b57
permissions -rw-r--r--
debug/gdb: add option to enable/disable the IPA lib for gdbserver

gdbserver >= 7.2 comes with an optional library to use tracepoints, the
In Process Agent (IPA) library, libinproctrace.so.

Currently, we build gdbserver staticaly, but that breaks the build of
the IPA lib.

Add an option to biuld the IPA lib, but not if statically linking.

Reported-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     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