Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.
/trunk/scripts/build/binutils.sh | 2 1 1 0 +-
/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/scripts/build/cc_gcc.sh | 6 3 3 0 +++---
3 files changed, 5 insertions(+), 5 deletions(-)
2 # (C) 2008 Yann E. MORIN <yann.morin.1998@anciens.enib.fr>
3 # Licensed under the GPL v.2
9 case "${LD_PRELOAD}" in
11 *) LD_PRELOAD="${LIBDUMA_SO} ${LD_PRELOAD}";;
16 LD_PRELOAD="${LD_PRELOAD//${LIBDUMA_SO}/}"
20 case "${LD_PRELOAD}" in
21 *${LIBDUMA_SO}*) echo "duma is enabled";;
22 *) echo "duma is disabled";;
30 Sets, unsets or show DUMA usage.
31 $0 <executable [arg...]>
32 Execute 'executable' (with arguments 'args') using DUMA.
34 false # Don't 'exit', we could well be source'd