1.1 --- a/config/companion_libs/cloog.in Wed May 02 21:09:29 2012 +0200
1.2 +++ b/config/companion_libs/cloog.in Sat Jan 04 01:10:13 2014 +0100
1.3 @@ -2,10 +2,22 @@
1.4
1.5 choice
1.6 bool
1.7 - prompt "CLooG/ppl version"
1.8 + prompt "CLooG version"
1.9 +
1.10 +if ISL
1.11 +
1.12 # Don't remove next line
1.13 # CT_INSERT_VERSION_BELOW
1.14
1.15 +config CLOOG_V_0_18_0
1.16 + bool
1.17 + prompt "0.18.0"
1.18 + select CLOOG_0_18_or_later
1.19 +
1.20 +endif # ISL
1.21 +
1.22 +if PPL
1.23 +
1.24 config CLOOG_V_0_15_11
1.25 bool
1.26 prompt "0.15.11"
1.27 @@ -32,12 +44,15 @@
1.28 bool
1.29 prompt "0.15.6"
1.30
1.31 +endif # PPL
1.32 +
1.33 endchoice
1.34
1.35 config CLOOG_VERSION
1.36 string
1.37 # Don't remove next line
1.38 # CT_INSERT_VERSION_STRING_BELOW
1.39 + default "0.18.0" if CLOOG_V_0_18_0
1.40 default "0.15.11" if CLOOG_V_0_15_11
1.41 default "0.15.10" if CLOOG_V_0_15_10
1.42 default "0.15.9" if CLOOG_V_0_15_9
1.43 @@ -45,6 +60,9 @@
1.44 default "0.15.7" if CLOOG_V_0_15_7
1.45 default "0.15.6" if CLOOG_V_0_15_6
1.46
1.47 +config CLOOG_0_18_or_later
1.48 + bool
1.49 +
1.50 config CLOOG_0_15_1x
1.51 bool
1.52 select CLOOG_NEEDS_AUTORECONF