config/debug/gdb.in.gdbserver
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:49 2010 +0200 (2010-08-05)
changeset 2067 477c7955e6b0
parent 1844 4d6a56579d9d
child 2484 d1a8c2ae7946
permissions -rw-r--r--
complibs/ppl: fix PPL build with GMP 5.x.x

From http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c19bc2b318a35016e0189f9552c98910be37f53

Author: Roberto Bagnara <bagnara@cs.unipr.it>
Revision log: Added support for GMP 5.0.

Adapted manually to match and not having to re-generate the configure script.

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
yann@1849
     1
# Menu for the native gdbserver
yann@622
     2
yann@583
     3
config GDB_GDBSERVER
yann@583
     4
    bool
yann@583
     5
    prompt "gdbserver"
yann@583
     6
    default n
yann@850
     7
    depends on ! BARE_METAL
yann@583
     8
    help
yann@583
     9
      Build and install a gdbserver for the target, to run on the target.
yann@583
    10
yann@1849
    11
if GDB_GDBSERVER
yann@1849
    12
yann@583
    13
config GDB_GDBSERVER_STATIC
yann@175
    14
    bool
yann@175
    15
    prompt "Build a static gdbserver"
yann@622
    16
    default y
yann@175
    17
    help
yann@175
    18
      In case you have trouble with dynamic loading of shared libraries,
yann@175
    19
      you will find that a static gdbserver comes in handy.
yann@175
    20
yann@1849
    21
endif # GDB_GDBSERVER
yann@1849
    22
yann@1269
    23
if BARE_METAL
yann@1269
    24
comment "In bare-metal, you'll need to   "
yann@1269
    25
comment "provide your own gdbserver stub."
yann@1269
    26
endif # BARE_METAL