2009-05-24 22:04:14 +00:00
|
|
|
# CLooG options
|
|
|
|
|
2017-01-11 01:17:59 +00:00
|
|
|
# CLooG 0.18.4 requires ISL 0.12 or newer
|
|
|
|
# CLooG 0.18.1/0.18.0 frequires ISL 0.12 or older
|
2009-05-24 22:04:14 +00:00
|
|
|
choice
|
|
|
|
bool
|
2013-05-04 22:01:05 +00:00
|
|
|
prompt "CLooG version"
|
|
|
|
|
2009-09-13 16:38:06 +00:00
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_BELOW
|
2009-05-24 22:04:14 +00:00
|
|
|
|
2015-09-05 19:08:14 +00:00
|
|
|
config CLOOG_V_0_18_4
|
|
|
|
bool
|
|
|
|
prompt "0.18.4"
|
2017-01-11 01:17:59 +00:00
|
|
|
depends on ISL_V_0_12_or_later
|
2015-09-05 19:08:14 +00:00
|
|
|
select CLOOG_0_18_4_or_later
|
|
|
|
|
2014-02-11 20:34:48 +00:00
|
|
|
config CLOOG_V_0_18_1
|
|
|
|
bool
|
|
|
|
prompt "0.18.1"
|
2017-01-11 01:17:59 +00:00
|
|
|
depends on !ISL_V_0_14_or_later
|
2014-02-11 20:34:48 +00:00
|
|
|
select CLOOG_0_18_or_later
|
|
|
|
|
2013-05-04 22:01:05 +00:00
|
|
|
config CLOOG_V_0_18_0
|
|
|
|
bool
|
|
|
|
prompt "0.18.0"
|
2017-01-11 01:17:59 +00:00
|
|
|
depends on !ISL_V_0_14_or_later
|
2013-05-04 22:01:05 +00:00
|
|
|
select CLOOG_0_18_or_later
|
|
|
|
|
2009-05-24 22:04:14 +00:00
|
|
|
endchoice
|
|
|
|
|
|
|
|
config CLOOG_VERSION
|
|
|
|
string
|
2009-09-13 16:38:06 +00:00
|
|
|
# Don't remove next line
|
|
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
2015-09-05 19:08:14 +00:00
|
|
|
default "0.18.4" if CLOOG_V_0_18_4
|
2014-02-11 20:34:48 +00:00
|
|
|
default "0.18.1" if CLOOG_V_0_18_1
|
2013-05-04 22:01:05 +00:00
|
|
|
default "0.18.0" if CLOOG_V_0_18_0
|
2011-10-16 13:10:29 +00:00
|
|
|
|
2015-09-05 19:08:14 +00:00
|
|
|
config CLOOG_0_18_4_or_later
|
|
|
|
bool
|
|
|
|
select CLOOG_0_18_or_later
|
|
|
|
|
2013-05-04 22:01:05 +00:00
|
|
|
config CLOOG_0_18_or_later
|
|
|
|
bool
|
|
|
|
|
2011-10-16 13:10:29 +00:00
|
|
|
config CLOOG_NEEDS_AUTORECONF
|
|
|
|
bool
|