diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 7ae6f87..75ddb14 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -3,6 +3,8 @@ choice bool prompt "CLooG/ppl version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config CLOOG_V_0_15_7 bool @@ -24,16 +26,14 @@ config CLOOG_V_0_15_3 bool prompt "0.15.3" -# CT_INSERT_VERSION_ABOVE -# Don't remove above line! endchoice config CLOOG_VERSION string +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW 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! |