From c8ea24328e609e4a911437748b91f8e524bab3a9 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Mon, 7 Sep 2009 22:03:06 +0200
Subject: companion libs: add latest CLooG/PPL versions

Add the latest 0.15.{4,5,6,7} CLoog/PPL.

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!
-- 
cgit v0.10.2-6-g49f6