scripts/build/mpfr.sh
changeset 1112 c72aecd1a9ef
parent 1063 1b4b6359a329
child 1119 4e7562023f3e
     1.1 --- a/scripts/build/mpfr.sh	Thu Nov 20 17:10:09 2008 +0000
     1.2 +++ b/scripts/build/mpfr.sh	Sat Jan 03 21:11:41 2009 +0000
     1.3 @@ -2,7 +2,6 @@
     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 -do_print_filename() { :; }
     1.8  do_mpfr_get() { :; }
     1.9  do_mpfr_extract() { :; }
    1.10  do_mpfr() { :; }
    1.11 @@ -11,11 +10,6 @@
    1.12  # Overide function depending on configuration
    1.13  if [ "${CT_GMP_MPFR}" = "y" ]; then
    1.14  
    1.15 -do_print_filename() {
    1.16 -    [ "${CT_GMP_MPFR}" = "y" ] || return 0
    1.17 -    echo "mpfr-${CT_MPFR_VERSION}"
    1.18 -}
    1.19 -
    1.20  # Download MPFR
    1.21  do_mpfr_get() {
    1.22      CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/          \