scripts/build/gmp.sh
changeset 1112 c72aecd1a9ef
parent 666 7f414d045a37
child 1119 4e7562023f3e
     1.1 --- a/scripts/build/gmp.sh	Mon Jul 14 21:21:35 2008 +0000
     1.2 +++ b/scripts/build/gmp.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_gmp_get() { :; }
     1.9  do_gmp_extract() { :; }
    1.10  do_gmp() { :; }
    1.11 @@ -11,11 +10,6 @@
    1.12  # Overide functions 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 "gmp-${CT_GMP_VERSION}"
    1.18 -}
    1.19 -
    1.20  # Download GMP
    1.21  do_gmp_get() {
    1.22      CT_GetFile "${CT_GMP_FILE}" {ftp,http}://{ftp.sunet.se/pub,ftp.gnu.org}/gnu/gmp