summaryrefslogtreecommitdiff
path: root/config/companion_libs/isl.in
blob: 1477212a5fbd95c3d46a98486076d7b1063f922c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
# ISL options

choice
    bool
    prompt "ISL version"
# Don't remove next line
# CT_INSERT_VERSION_BELOW

config ISL_V_0_14
    bool
    prompt "0.14"
    depends on CLOOG_0_18_4_or_later || CC_GCC_5_or_later
    select ISL_V_0_14_or_later

config ISL_V_0_12_2
    bool
    prompt "0.12.2"
    depends on ! CLOOG_0_18_4_or_later || CC_GCC_5_or_later
    select ISL_V_0_12_or_later

config ISL_V_0_11_1
    bool
    prompt "0.11.1"
    depends on ! CLOOG_0_18_4_or_later
    depends on ! CC_GCC_5_or_later

endchoice

config ISL_V_0_14_or_later
    bool
    select ISL_V_0_12_or_later

config ISL_V_0_12_or_later
    bool

config ISL_VERSION
    string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
    default "0.14" if ISL_V_0_14
    default "0.12.2" if ISL_V_0_12_2
    default "0.11.1" if ISL_V_0_11_1