config/companion_libs/gmp.in
author Trevor Woerner <twoerner@gmail.com>
Sun Mar 03 13:10:51 2013 -0500 (2013-03-03)
changeset 3186 fb0aa58be2c5
parent 2957 3e2f2100a76d
child 3207 ec3c3aa99c79
permissions -rw-r--r--
libc/newlib: update fetch location

The menu system provides an option to allow a user to request newlib
version 2.0.0. newlib-2.0.0, however, is not available at the download
location currently being used. It is, however, available (as are other
supported versions of newlib) at an alternate location.

Signed-off-by: Trevor Woerner <twoerner@gmail.com>
Message-Id: <75ab5151c7f5dc9086e3.1362334313@suse64>
Patchwork-Id: 224561
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