diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:51 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:51 (GMT) |
commit | 9b9be141ee4b9a140c9cd4c9eae7c7b4385822ec (patch) | |
tree | 78156c49c6a7085d26587991222e8b19be972b79 /config/companion_libs/cloog.in | |
parent | 26edbc5b62418e0eea8bacb9f8c076c46ae51ed8 (diff) | |
parent | 89351cb89887e1e7de93afea665351cf70fe6f86 (diff) |
Merge.
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! |