diff -r 7f9bbf94b0bb -r c310ff1d697f scripts/build/mpfr.sh
--- a/scripts/build/mpfr.sh	Wed Apr 30 10:43:41 2008 +0000
+++ b/scripts/build/mpfr.sh	Wed Apr 30 16:38:06 2008 +0000
@@ -2,6 +2,8 @@
 # Copyright 2008 Yann E. MORIN
 # Licensed under the GPL v2. See COPYING in the root of this package
 
+if [ "${CT_CC_GCC_GMP_MPFR}" = "y" ]; then
+
 do_print_filename() {
     [ "${CT_CC_GCC_GMP_MPFR}" = "y" ] || return 0
     echo "mpfr-${CT_MPFR_VERSION}"
@@ -45,3 +47,12 @@
 
     CT_EndStep
 }
+
+else # No MPFR
+
+do_print_filename() { :; }
+do_mpfr_get() { :; }
+do_mpfr_extract() { :; }
+do_mpfr() { :; }
+
+fi