# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1268686280 -3600
# Node ID 59e178812e8df378247a7ab0f05a130c1bf04881
# Parent  136a929ec37f1a0501b1a86ad6092fd3a1e468a8
debug/gdb: add option to use GMP and MPFR

GMP and MPFR are optional for gdb, so offer a config option.

diff -r 136a929ec37f -r 59e178812e8d config/debug/gdb.in.cross
--- a/config/debug/gdb.in.cross	Mon Mar 15 21:44:20 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.
diff -r 136a929ec37f -r 59e178812e8d scripts/build/debug/300-gdb.sh
--- a/scripts/build/debug/300-gdb.sh	Mon Mar 15 21:44:20 2010 +0100
+++ b/scripts/build/debug/300-gdb.sh	Mon Mar 15 21:51:20 2010 +0100
@@ -99,8 +99,10 @@
         cd "${CT_BUILD_DIR}/build-gdb-cross"
 
         cross_extra_config=("${extra_config[@]}")
-        [ -z "${CT_GMP}"    ] || cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
-        [ -z "${CT_MPFR}"   ] || cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
+        if [ "${CT_GDB_CROSS_USE_GMP_MPFR}" = "y" ]; then
+            cross_extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
+            cross_extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
+        fi
         case "${CT_THREADS}" in
             none)   cross_extra_config+=("--disable-threads");;
             *)      cross_extra_config+=("--enable-threads");;