blob: 0584764345c58a549bf447d714a6c0ce82d3bba0 (
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
43
44
45
46
47
48
49
50
51
52
53
|
# ISL options
choice
bool
prompt "ISL version"
# Don't remove next line
# CT_INSERT_VERSION_BELOW
config ISL_V_0_16_1
bool
prompt "0.16.1"
depends on CLOOG_0_18_4_or_later || CC_GCC_5_or_later
select ISL_V_0_16_or_later
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_16_or_later
bool
select ISL_V_0_14_or_later
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.16.1" if ISL_V_0_16_1
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
|