2009-05-24 22:04:14 +00:00
|
|
|
# CLooG options
|
|
|
|
|
|
|
|
choice
|
|
|
|
bool
|
2013-05-04 22:01:05 +00:00
|
|
|
prompt "CLooG version"
|
|
|
|
|
|
|
|
if ISL
|
|
|
|
|
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
|
|
|
|
2014-02-11 20:34:48 +00:00
|
|
|
config CLOOG_V_0_18_1
|
|
|
|
bool
|
|
|
|
prompt "0.18.1"
|
|
|
|
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"
|
|
|
|
select CLOOG_0_18_or_later
|
|
|
|
|
|
|
|
endif # ISL
|
|
|
|
|
|
|
|
if PPL
|
|
|
|
|
2011-04-30 12:36:34 +00:00
|
|
|
config CLOOG_V_0_15_11
|
|
|
|
bool
|
2012-05-02 19:09:29 +00:00
|
|
|
prompt "0.15.11"
|
2014-05-26 21:25:17 +00:00
|
|
|
select CLOOG_NEEDS_AUTORECONF
|
2009-09-07 20:03:06 +00:00
|
|
|
|
2013-05-04 22:01:05 +00:00
|
|
|
endif # PPL
|
|
|
|
|
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
|
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-04-30 12:36:34 +00:00
|
|
|
default "0.15.11" if CLOOG_V_0_15_11
|
2011-10-16 13:10:29 +00:00
|
|
|
|
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
|