diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-07 20:03:06 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-07 20:03:06 (GMT) |
commit | c8ea24328e609e4a911437748b91f8e524bab3a9 (patch) | |
tree | 7d478ad71d9c70834ea20574fec126c6e79f6f7a /config/companion_libs/cloog.in | |
parent | ea352a96a3ed308c87351b9ced72b27848546765 (diff) |
companion libs: add latest CLooG/PPL versions
Add the latest 0.15.{4,5,6,7} CLoog/PPL.
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 99779c9..2b6185d 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -8,6 +8,22 @@ config CLOOG_V_0_15_3 bool prompt "0.15.3" +config CLOOG_V_0_15_4 + bool + prompt "0.15.4" + +config CLOOG_V_0_15_5 + bool + prompt "0.15.5" + +config CLOOG_V_0_15_6 + bool + prompt "0.15.6" + +config CLOOG_V_0_15_7 + bool + prompt "0.15.7" + # CT_INSERT_VERSION_ABOVE # Don't remove above line! endchoice @@ -15,5 +31,9 @@ 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 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |