config/kernel/mingw32.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu May 17 17:56:27 2012 +0200 (2012-05-17)
changeset 2986 c301df1af7cb
parent 2106 750676a1d8ea
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 # mingw32 config options
     2 
     3 ## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
     4 ##
     5 ## select MINGW32
     6 ##
     7 ## help Build a toolchain targeting systems running Windows as host
     8 
     9 choice
    10     bool
    11     prompt "Windows api version"
    12 
    13 # Don't remove next line
    14 # CT_INSERT_VERSION_BELOW
    15 config W32API_V_3_14
    16     bool
    17     prompt "3.14"
    18 
    19 config W32API_V_select
    20     bool
    21     prompt "Other version"
    22 
    23 endchoice
    24 
    25 config W32API_VERSION
    26     string
    27     prompt "W32 api version" if W32API_V_select
    28 # Don't remove next line
    29 # CT_INSERT_VERSION_STRING_BELOW
    30     default "3.14" if W32API_V_3_14
    31     help
    32       Enter the version number of the windows api files to use
    33