Merge pull request #72 from bhundven/bump-isl-0.14

config/isl: bump isl to 0.14 for >=gcc-5.1
This commit is contained in:
Bryan Hundven 2015-04-25 13:14:06 -07:00
commit 822fc8b141

View File

@ -6,6 +6,10 @@ choice
# Don't remove next line
# CT_INSERT_VERSION_BELOW
config ISL_V_0_14
bool
prompt "0.14"
config ISL_V_0_12_2
bool
prompt "0.12.2"
@ -20,5 +24,6 @@ config ISL_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
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