diff -r 73f76483a389 -r 59e178812e8d config/debug/gdb.in.cross
--- a/config/debug/gdb.in.cross	Mon Mar 15 21:42:55 2010 +0100
+++ b/config/debug/gdb.in.cross	Mon Mar 15 21:51:20 2010 +0100
@@ -10,10 +10,27 @@
 
 if GDB_CROSS
 
+config GDB_CROSS_USE_GMP_MPFR
+    bool
+    prompt "Use GMP/MPFR"
+    default n
+    select GMP
+    select MPFR
+    select GDB_CROSS_NO_STATIC
+    help
+      gdb can use GMP+MPFR, although it does not seem compulsory.
+      
+      Say 'Y' here if you want to use GMP+MPFR.
+
+config GDB_CROSS_NO_STATIC
+    bool
+    default n
+
 config GDB_CROSS_STATIC
     bool
     prompt "Build a static cross gdb"
     default n
+    depends on ! GDB_CROSS_NO_STATIC
     help
       A static cross gdb can be usefull if you debug on a machine that is
       not the one that is used to compile the toolchain.