2013-05-04 00:08:34 +02:00
|
|
|
# ISL options
|
|
|
|
|
|
|
|
choice
|
|
|
|
bool
|
|
|
|
prompt "ISL version"
|
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
|
2015-09-05 21:08:14 +02:00
|
|
|
config ISL_V_0_15
|
|
|
|
bool
|
|
|
|
prompt "0.15"
|
|
|
|
depends on CLOOG_0_18_4_or_later
|
|
|
|
select ISL_V_0_15_or_later
|
|
|
|
|
2015-04-25 13:11:32 -07:00
|
|
|
config ISL_V_0_14
|
|
|
|
bool
|
|
|
|
prompt "0.14"
|
2015-09-05 21:08:14 +02:00
|
|
|
depends on CLOOG_0_18_4_or_later
|
2015-08-29 12:40:46 +02:00
|
|
|
select ISL_V_0_14_or_later
|
2015-04-25 13:11:32 -07:00
|
|
|
|
2014-02-17 07:11:45 +01:00
|
|
|
config ISL_V_0_12_2
|
|
|
|
bool
|
|
|
|
prompt "0.12.2"
|
2015-09-05 21:08:14 +02:00
|
|
|
depends on ! CLOOG_0_18_4_or_later
|
2015-08-29 12:40:46 +02:00
|
|
|
select ISL_V_0_12_or_later
|
2014-02-17 07:11:45 +01:00
|
|
|
|
2013-05-04 00:08:34 +02:00
|
|
|
config ISL_V_0_11_1
|
|
|
|
bool
|
|
|
|
prompt "0.11.1"
|
2015-09-05 21:08:14 +02:00
|
|
|
depends on ! CLOOG_0_18_4_or_later
|
2015-05-02 16:44:39 -07:00
|
|
|
depends on ! CC_GCC_5_1_or_later
|
2013-05-04 00:08:34 +02:00
|
|
|
|
|
|
|
endchoice
|
|
|
|
|
2015-09-05 21:08:14 +02:00
|
|
|
config ISL_V_0_15_or_later
|
|
|
|
bool
|
|
|
|
select ISL_V_0_14_or_later
|
|
|
|
|
2015-08-29 12:40:46 +02:00
|
|
|
config ISL_V_0_14_or_later
|
|
|
|
bool
|
|
|
|
select ISL_V_0_12_or_later
|
|
|
|
|
|
|
|
config ISL_V_0_12_or_later
|
|
|
|
bool
|
|
|
|
|
2013-05-04 00:08:34 +02:00
|
|
|
config ISL_VERSION
|
|
|
|
string
|
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
2015-09-05 21:08:14 +02:00
|
|
|
default "0.15" if ISL_V_0_15
|
2015-04-25 13:11:32 -07:00
|
|
|
default "0.14" if ISL_V_0_14
|
2014-02-17 07:11:45 +01:00
|
|
|
default "0.12.2" if ISL_V_0_12_2
|
2013-05-04 00:08:34 +02:00
|
|
|
default "0.11.1" if ISL_V_0_11_1
|