summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-09-07 20:03:06 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-09-07 20:03:06 (GMT)
commitc8ea24328e609e4a911437748b91f8e524bab3a9 (patch)
tree7d478ad71d9c70834ea20574fec126c6e79f6f7a
parentea352a96a3ed308c87351b9ced72b27848546765 (diff)
companion libs: add latest CLooG/PPL versions
Add the latest 0.15.{4,5,6,7} CLoog/PPL.
-rw-r--r--config/companion_libs/cloog.in20
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!