config/companion_libs/cloog.in
branch1.13
changeset 2767 4690768b9601
parent 2435 da167ec304be
child 2853 5182fa901f30
     1.1 --- a/config/companion_libs/cloog.in	Sat Apr 30 14:36:34 2011 +0200
     1.2 +++ b/config/companion_libs/cloog.in	Sun Oct 16 15:10:29 2011 +0200
     1.3 @@ -10,10 +10,12 @@
     1.4      bool
     1.5      prompt "0.15.11 (EXPERIMENTAL)"
     1.6      depends on EXPERIMENTAL
     1.7 +    select CLOOG_0_15_1x
     1.8  
     1.9  config CLOOG_V_0_15_10
    1.10      bool
    1.11      prompt "0.15.10"
    1.12 +    select CLOOG_0_15_1x
    1.13  
    1.14  config CLOOG_V_0_15_9
    1.15      bool
    1.16 @@ -46,3 +48,10 @@
    1.17      default "0.15.5" if CLOOG_V_0_15_5
    1.18      default "0.15.4" if CLOOG_V_0_15_4
    1.19      default "0.15.3" if CLOOG_V_0_15_3
    1.20 +
    1.21 +config CLOOG_0_15_1x
    1.22 +    bool
    1.23 +    select CLOOG_NEEDS_AUTORECONF
    1.24 +
    1.25 +config CLOOG_NEEDS_AUTORECONF
    1.26 +    bool