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(-)
1 # Wrapper to build the debug facilities
3 # List all debug facilities, and parse their scripts
4 CT_DEBUG_FACILITY_LIST=
5 for f in "${CT_LIB_DIR}/scripts/build/debug/"*.sh; do
8 f=$(basename "${f}" .sh)
9 if [ "${is_enabled}" = "y" ]; then
10 CT_DEBUG_FACILITY_LIST="${CT_DEBUG_FACILITY_LIST} ${f#???-}"
14 # Download the debug facilities
16 for f in ${CT_DEBUG_FACILITY_LIST}; do
21 # Extract and patch the debug facilities
23 for f in ${CT_DEBUG_FACILITY_LIST}; do
28 # Build the debug facilities
30 for f in ${CT_DEBUG_FACILITY_LIST}; do