Mercurialcrosstool-ng / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
config/companion_libs/mpfr.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Jan 01 17:09:52 2010 +0100 (2010-01-01)
changeset 1673 ecb7fcc4edb0
parent 1535 073d351bdcd3
child 1696 f04fb2d52023
permissions -rw-r--r--
scripts/functions: fix downloading with aria2

In case the remote file does not exist (and probably for some
other reasons as well), aria2 nonetheless creates an empty file
(or not empty for some other reasons).

The solution is to delete the file whenever aria2 fails. 
     1 # GMP options

     2 

     3 choice

     4     bool

     5     prompt "MPFR version"

     6 # Don't remove next line

     7 # CT_INSERT_VERSION_BELOW

     8 

     9 config MPFR_V_2_4_1

    10     bool

    11     prompt "2.4.1"

    12 

    13 config MPFR_V_2_4_0

    14     bool

    15     prompt "2.4.0"

    16 

    17 config MPFR_V_2_3_2

    18     bool

    19     prompt "2.3.2 (OBSOLETE)"

    20     depends on OBSOLETE

    21 

    22 config MPFR_V_2_3_1

    23     bool

    24     prompt "2.3.1 (OBSOLETE)"

    25     depends on OBSOLETE

    26 

    27 endchoice

    28 

    29 config MPFR_VERSION

    30     string

    31 # Don't remove next line

    32 # CT_INSERT_VERSION_STRING_BELOW

    33     default "2.4.1" if MPFR_V_2_4_1

    34     default "2.4.0" if MPFR_V_2_4_0

    35     default "2.3.2" if MPFR_V_2_3_2

    36     default "2.3.1" if MPFR_V_2_3_1
crosstool-ng