1.1 --- a/config/companion_libs/cloog.in	Wed May 02 21:09:29 2012 +0200
     1.2 +++ b/config/companion_libs/cloog.in	Sun Jan 05 19:44:45 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