Merge pull request #168 from jasmin-j/cloog_isl_constraint2

Adding CLooG/isl constraint
This commit is contained in:
Bryan Hundven 2015-09-05 16:17:32 -07:00
commit 7fa8e7ba8a
2 changed files with 24 additions and 0 deletions

View File

@ -9,6 +9,11 @@ if ISL
# Don't remove next line
# CT_INSERT_VERSION_BELOW
config CLOOG_V_0_18_4
bool
prompt "0.18.4"
select CLOOG_0_18_4_or_later
config CLOOG_V_0_18_1
bool
prompt "0.18.1"
@ -36,10 +41,15 @@ config CLOOG_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
default "0.18.4" if CLOOG_V_0_18_4
default "0.18.1" if CLOOG_V_0_18_1
default "0.18.0" if CLOOG_V_0_18_0
default "0.15.11" if CLOOG_V_0_15_11
config CLOOG_0_18_4_or_later
bool
select CLOOG_0_18_or_later
config CLOOG_0_18_or_later
bool

View File

@ -6,23 +6,36 @@ choice
# Don't remove next line
# CT_INSERT_VERSION_BELOW
config ISL_V_0_15
bool
prompt "0.15"
depends on CLOOG_0_18_4_or_later
select ISL_V_0_15_or_later
config ISL_V_0_14
bool
prompt "0.14"
depends on CLOOG_0_18_4_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
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_1_or_later
endchoice
config ISL_V_0_15_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
@ -34,6 +47,7 @@ config ISL_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
default "0.15" if ISL_V_0_15
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