diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 2b6185d..7ae6f87 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -4,25 +4,25 @@ choice bool prompt "CLooG/ppl version" -config CLOOG_V_0_15_3 +config CLOOG_V_0_15_7 bool - prompt "0.15.3" + prompt "0.15.7" -config CLOOG_V_0_15_4 +config CLOOG_V_0_15_6 bool - prompt "0.15.4" + prompt "0.15.6" config CLOOG_V_0_15_5 bool prompt "0.15.5" -config CLOOG_V_0_15_6 +config CLOOG_V_0_15_4 bool - prompt "0.15.6" + prompt "0.15.4" -config CLOOG_V_0_15_7 +config CLOOG_V_0_15_3 bool - prompt "0.15.7" + prompt "0.15.3" # CT_INSERT_VERSION_ABOVE # Don't remove above line! @@ -30,10 +30,10 @@ endchoice config CLOOG_VERSION string - default "0.15.3" if CLOOG_V_0_15_3 - default "0.15.4" if CLOOG_V_0_15_4 - default "0.15.5" if CLOOG_V_0_15_5 - default "0.15.6" if CLOOG_V_0_15_6 default "0.15.7" if CLOOG_V_0_15_7 + default "0.15.6" if CLOOG_V_0_15_6 + default "0.15.5" if CLOOG_V_0_15_5 + default "0.15.4" if CLOOG_V_0_15_4 + default "0.15.3" if CLOOG_V_0_15_3 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |