diff options
| -rw-r--r-- | config/companion_libs/cloog.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 6282997f..5f50c07f 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -6,6 +6,11 @@ choice # Don't remove next line # CT_INSERT_VERSION_BELOW +config CLOOG_V_0_15_11 + bool + prompt "0.15.11 (EXPERIMENTAL)" + depends on EXPERIMENTAL + config CLOOG_V_0_15_10 bool prompt "0.15.10" @@ -32,6 +37,7 @@ config CLOOG_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "0.15.11" if CLOOG_V_0_15_11 default "0.15.10" if CLOOG_V_0_15_10 default "0.15.9" if CLOOG_V_0_15_9 default "0.15.8" if CLOOG_V_0_15_8 |