config/companion_libs/cloog.in
author Zhenqiang Chen <zhenqiang.chen@linaro.org>
Mon Dec 30 23:15:02 2013 +0100 (2013-12-30)
changeset 3261 3b61be3d7aa6
parent 2957 3e2f2100a76d
child 3285 a8cb9039fade
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 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG version"
     6 
     7 if ISL
     8 
     9 # Don't remove next line
    10 # CT_INSERT_VERSION_BELOW
    11 
    12 config CLOOG_V_0_18_0
    13     bool
    14     prompt "0.18.0"
    15     select CLOOG_0_18_or_later
    16 
    17 endif # ISL
    18 
    19 if PPL
    20 
    21 config CLOOG_V_0_15_11
    22     bool
    23     prompt "0.15.11"
    24     select CLOOG_0_15_1x
    25 
    26 config CLOOG_V_0_15_10
    27     bool
    28     prompt "0.15.10"
    29     select CLOOG_0_15_1x
    30 
    31 config CLOOG_V_0_15_9
    32     bool
    33     prompt "0.15.9"
    34 
    35 config CLOOG_V_0_15_8
    36     bool
    37     prompt "0.15.8"
    38 
    39 config CLOOG_V_0_15_7
    40     bool
    41     prompt "0.15.7"
    42 
    43 config CLOOG_V_0_15_6
    44     bool
    45     prompt "0.15.6"
    46 
    47 endif # PPL
    48 
    49 endchoice
    50 
    51 config CLOOG_VERSION
    52     string
    53 # Don't remove next line
    54 # CT_INSERT_VERSION_STRING_BELOW
    55     default "0.18.0" if CLOOG_V_0_18_0
    56     default "0.15.11" if CLOOG_V_0_15_11
    57     default "0.15.10" if CLOOG_V_0_15_10
    58     default "0.15.9" if CLOOG_V_0_15_9
    59     default "0.15.8" if CLOOG_V_0_15_8
    60     default "0.15.7" if CLOOG_V_0_15_7
    61     default "0.15.6" if CLOOG_V_0_15_6
    62 
    63 config CLOOG_0_18_or_later
    64     bool
    65 
    66 config CLOOG_0_15_1x
    67     bool
    68     select CLOOG_NEEDS_AUTORECONF
    69 
    70 config CLOOG_NEEDS_AUTORECONF
    71     bool