scripts/build/mpfr.sh
changeset 486 92f6149c4275
parent 466 7f9bbf94b0bb
child 522 0ebb814eb9f8
child 525 2d349a79c40d
     1.1 --- a/scripts/build/mpfr.sh	Wed Apr 30 10:43:41 2008 +0000
     1.2 +++ b/scripts/build/mpfr.sh	Sat May 03 17:51:16 2008 +0000
     1.3 @@ -2,6 +2,8 @@
     1.4  # Copyright 2008 Yann E. MORIN
     1.5  # Licensed under the GPL v2. See COPYING in the root of this package
     1.6  
     1.7 +if [ "${CT_CC_GCC_GMP_MPFR}" = "y" ]; then
     1.8 +
     1.9  do_print_filename() {
    1.10      [ "${CT_CC_GCC_GMP_MPFR}" = "y" ] || return 0
    1.11      echo "mpfr-${CT_MPFR_VERSION}"
    1.12 @@ -45,3 +47,12 @@
    1.13  
    1.14      CT_EndStep
    1.15  }
    1.16 +
    1.17 +else # No MPFR
    1.18 +
    1.19 +do_print_filename() { :; }
    1.20 +do_mpfr_get() { :; }
    1.21 +do_mpfr_extract() { :; }
    1.22 +do_mpfr() { :; }
    1.23 +
    1.24 +fi