config/companion_libs/gmp.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 1873 4477403726db
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 "GMP version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@466
     8
yann@1534
     9
config GMP_V_4_3_1
yann@466
    10
    bool
yann@1534
    11
    prompt "4.3.1"
yann@1534
    12
yann@1534
    13
config GMP_V_4_3_0
yann@1534
    14
    bool
yann@1534
    15
    prompt "4.3.0"
yann@466
    16
yann@902
    17
config GMP_V_4_2_4
yann@902
    18
    bool
yann@1615
    19
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    20
    depends on OBSOLETE
yann@902
    21
yann@1534
    22
config GMP_V_4_2_2
yann@1440
    23
    bool
yann@1615
    24
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    25
    depends on OBSOLETE
yann@1440
    26
yann@466
    27
endchoice
yann@466
    28
yann@466
    29
config GMP_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 "4.3.1" if GMP_V_4_3_1
yann@1534
    34
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    35
    default "4.2.4" if GMP_V_4_2_4
yann@466
    36
    default "4.2.2" if GMP_V_4_2_2