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.
yann@466
     1
# GMP options
yann@466
     2
yann@466
     3
choice
yann@466
     4
    bool
yann@466
     5
    prompt "MPFR version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@466
     8
yann@1534
     9
config MPFR_V_2_4_1
yann@466
    10
    bool
yann@1534
    11
    prompt "2.4.1"
yann@1534
    12
yann@1534
    13
config MPFR_V_2_4_0
yann@1534
    14
    bool
yann@1534
    15
    prompt "2.4.0"
yann@466
    16
yann@902
    17
config MPFR_V_2_3_2
yann@902
    18
    bool
yann@1615
    19
    prompt "2.3.2 (OBSOLETE)"
yann@1615
    20
    depends on OBSOLETE
yann@902
    21
yann@1534
    22
config MPFR_V_2_3_1
yann@1199
    23
    bool
yann@1615
    24
    prompt "2.3.1 (OBSOLETE)"
yann@1615
    25
    depends on OBSOLETE
yann@1199
    26
yann@466
    27
endchoice
yann@466
    28
yann@466
    29
config MPFR_VERSION
yann@466
    30
    string
yann@1535
    31
# Don't remove next line
yann@1535
    32
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    33
    default "2.4.1" if MPFR_V_2_4_1
yann@1534
    34
    default "2.4.0" if MPFR_V_2_4_0
yann@1534
    35
    default "2.3.2" if MPFR_V_2_3_2
yann@466
    36
    default "2.3.1" if MPFR_V_2_3_1