diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-15 20:51:20 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-15 20:51:20 (GMT) |
commit | 2583337c7cd64ab65921695d42caf98358cc3634 (patch) | |
tree | 188eabbb443cbfa097acb38a4410c32f5e6c35e9 /scripts/build | |
parent | c270bf2a02bbd2233b90c4175792fabea1455b08 (diff) |
debug/gdb: add option to use GMP and MPFR
GMP and MPFR are optional for gdb, so offer a config option.
Diffstat (limited to 'scripts/build')
-rw-r--r-- | scripts/build/debug/300-gdb.sh | 6 |
1 files changed, 4 insertions, 2 deletions
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");; |