config/companion_libs/cloog.in
branch1.16
changeset 3107 91a52bc04af9
parent 2853 5182fa901f30
child 3218 3709e61ad85b
     1.1 --- a/config/companion_libs/cloog.in	Fri Jan 27 13:13:00 2012 +0100
     1.2 +++ b/config/companion_libs/cloog.in	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -8,8 +8,7 @@
     1.4  
     1.5  config CLOOG_V_0_15_11
     1.6      bool
     1.7 -    prompt "0.15.11 (EXPERIMENTAL)"
     1.8 -    depends on EXPERIMENTAL
     1.9 +    prompt "0.15.11"
    1.10      select CLOOG_0_15_1x
    1.11  
    1.12  config CLOOG_V_0_15_10