config/companion_libs/gmp.in
author Zhenqiang Chen <zhenqiang.chen@linaro.org>
Mon Dec 30 23:15:02 2013 +0100 (2013-12-30)
changeset 3261 3b61be3d7aa6
parent 3142 6569f6a9060c
child 3283 d317f3a211d3
permissions -rw-r--r--
kernel/linux: prepare for arch whose kenel name is not the standard name

For some architectures, the kernel architecture name is not the common
name of the architecture for other tools.

For example: ARM 64-bit is commonly referenced as aarch64, but the kernel
calls it arm64.

Signed-off-by: Michael Hope <michael.hope@linaro.org>
Signed-off-by: Zhenqiang Chen <zhenqiang.chen@linaro.org>
[yann.morin.1998@free.fr: split out of the aarch64 patch]
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@3207
     9
config GMP_V_5_1_1
yann@3207
    10
    bool
yann@3207
    11
    prompt "5.1.1"
yann@3207
    12
yann@2651
    13
config GMP_V_5_0_2
yann@2651
    14
    bool
yann@2957
    15
    prompt "5.0.2"
yann@2651
    16
yann@1873
    17
config GMP_V_5_0_1
yann@1873
    18
    bool
yann@2957
    19
    prompt "5.0.1"
yann@1873
    20
yann@1873
    21
config GMP_V_4_3_2
yann@1873
    22
    bool
yann@1873
    23
    prompt "4.3.2"
yann@1873
    24
yann@1534
    25
config GMP_V_4_3_1
yann@466
    26
    bool
yann@1534
    27
    prompt "4.3.1"
yann@1534
    28
yann@1534
    29
config GMP_V_4_3_0
yann@1534
    30
    bool
yann@1534
    31
    prompt "4.3.0"
yann@466
    32
yann@466
    33
endchoice
yann@466
    34
yann@466
    35
config GMP_VERSION
yann@466
    36
    string
yann@1535
    37
# Don't remove next line
yann@1535
    38
# CT_INSERT_VERSION_STRING_BELOW
yann@3207
    39
    default "5.1.1" if GMP_V_5_1_1
yann@2651
    40
    default "5.0.2" if GMP_V_5_0_2
yann@1873
    41
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    42
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    43
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    44
    default "4.3.0" if GMP_V_4_3_0