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>
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config GMP_V_5_1_1
    10     bool
    11     prompt "5.1.1"
    12 
    13 config GMP_V_5_0_2
    14     bool
    15     prompt "5.0.2"
    16 
    17 config GMP_V_5_0_1
    18     bool
    19     prompt "5.0.1"
    20 
    21 config GMP_V_4_3_2
    22     bool
    23     prompt "4.3.2"
    24 
    25 config GMP_V_4_3_1
    26     bool
    27     prompt "4.3.1"
    28 
    29 config GMP_V_4_3_0
    30     bool
    31     prompt "4.3.0"
    32 
    33 endchoice
    34 
    35 config GMP_VERSION
    36     string
    37 # Don't remove next line
    38 # CT_INSERT_VERSION_STRING_BELOW
    39     default "5.1.1" if GMP_V_5_1_1
    40     default "5.0.2" if GMP_V_5_0_2
    41     default "5.0.1" if GMP_V_5_0_1
    42     default "4.3.2" if GMP_V_4_3_2
    43     default "4.3.1" if GMP_V_4_3_1
    44     default "4.3.0" if GMP_V_4_3_0