config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu Dec 27 12:53:32 2012 +0100 (2012-12-27)
changeset 3153 f6740f9e42de
parent 2957 3e2f2100a76d
child 3207 ec3c3aa99c79
permissions -rw-r--r--
scripts/addToolsVersion: handle elf2flt

The one was missing from the list.

It is very improbable that we ever need it, as elf2flt does no release,
and we always get it from CVS head. But for the sake of consistency, we
just add it.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
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@2651
     9
config GMP_V_5_0_2
yann@2651
    10
    bool
yann@2957
    11
    prompt "5.0.2"
yann@2651
    12
yann@1873
    13
config GMP_V_5_0_1
yann@1873
    14
    bool
yann@2957
    15
    prompt "5.0.1"
yann@1873
    16
yann@1873
    17
config GMP_V_4_3_2
yann@1873
    18
    bool
yann@1873
    19
    prompt "4.3.2"
yann@1873
    20
yann@1534
    21
config GMP_V_4_3_1
yann@466
    22
    bool
yann@1534
    23
    prompt "4.3.1"
yann@1534
    24
yann@1534
    25
config GMP_V_4_3_0
yann@1534
    26
    bool
yann@1534
    27
    prompt "4.3.0"
yann@466
    28
yann@466
    29
endchoice
yann@466
    30
yann@466
    31
config GMP_VERSION
yann@466
    32
    string
yann@1535
    33
# Don't remove next line
yann@1535
    34
# CT_INSERT_VERSION_STRING_BELOW
yann@2651
    35
    default "5.0.2" if GMP_V_5_0_2
yann@1873
    36
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    37
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    38
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    39
    default "4.3.0" if GMP_V_4_3_0