diff -r b488b4815f9b -r e44f67656c5f scripts/build/companion_libs/mpfr.sh
--- a/scripts/build/companion_libs/mpfr.sh	Thu Feb 18 20:43:31 2010 +0100
+++ b/scripts/build/companion_libs/mpfr.sh	Wed Feb 17 23:50:49 2010 +0100
@@ -8,7 +8,7 @@
 do_mpfr_target() { :; }
 
 # Overide function depending on configuration
-if [ "${CT_MPFR}" = "y" ]; then
+if [ "${CT_MPFR}" = "y" -o "${CT_MPFR_TARGET}" = "y" ]; then
 
 # Download MPFR
 do_mpfr_get() {
@@ -64,6 +64,8 @@
     esac
 }
 
+if [ "${CT_MPFR}" = "y" ]; then
+
 do_mpfr() {
     mkdir -p "${CT_BUILD_DIR}/build-mpfr"
     cd "${CT_BUILD_DIR}/build-mpfr"
@@ -106,7 +108,9 @@
     CT_EndStep
 }
 
-if [ "${CT_COMPLIBS_TARGET}" = "y" ]; then
+fi # CT_MPFR
+
+if [ "${CT_MPFR_TARGET}" = "y" ]; then
 
 do_mpfr_target() {
     mkdir -p "${CT_BUILD_DIR}/build-mpfr-target"
@@ -145,6 +149,6 @@
     CT_EndStep
 }
 
-fi # CT_COMPLIBS_TARGET == y
+fi # CT_MPFR_TARGET
 
-fi # CT_MPFR == y
+fi # CT_MPFR || CT_MPFR_TARGET