diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
| -rw-r--r-- | config/companion_libs/cloog.in | 28 |
1 files changed, 24 insertions, 4 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 99779c9..75ddb14 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -3,17 +3,37 @@ choice bool prompt "CLooG/ppl version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW + +config CLOOG_V_0_15_7 + bool + prompt "0.15.7" + +config CLOOG_V_0_15_6 + bool + prompt "0.15.6" + +config CLOOG_V_0_15_5 + bool + prompt "0.15.5" + +config CLOOG_V_0_15_4 + bool + prompt "0.15.4" 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! |