config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Dec 26 11:53:05 2012 +0100 (2012-12-26)
changeset 3142 6569f6a9060c
parent 2957 3e2f2100a76d
child 3207 ec3c3aa99c79
permissions -rw-r--r--
all: remove versions marked obsolete

For major components, keep the latest version of each major releases.

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