From 2583337c7cd64ab65921695d42caf98358cc3634 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Mon, 15 Mar 2010 21:51:20 +0100
Subject: debug/gdb: add option to use GMP and MPFR

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

diff --git a/config/debug/gdb.in.cross b/config/debug/gdb.in.cross
index 4c04b7e..4699bab 100644
--- a/config/debug/gdb.in.cross
+++ b/config/debug/gdb.in.cross
@@ -10,10 +10,27 @@ config GDB_CROSS
 
 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 --git a/scripts/build/debug/300-gdb.sh b/scripts/build/debug/300-gdb.sh
index 56061ac..46b3ea1 100644
--- a/scripts/build/debug/300-gdb.sh
+++ b/scripts/build/debug/300-gdb.sh
@@ -99,8 +99,10 @@ do_debug_gdb_build() {
         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");;
-- 
cgit v0.10.2-6-g49f6