# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@free.fr>
# Date 1401139517 -7200
# Node ID 1eea25c0bfe72d3d60b8d043efc51ba20a965e08
# Parent  99029fac116b6cdd86de7015379dd765af77c116
complibs/cloog: remove old CLooG/PPL versions

Those versions are no longer available upstream. They have purely and
simply disapeared, without leaving any trace of their mere existences.

Just keep the latest cloog-ppl-0.15.11, which still exists on the gcc
infra mirror (but for how long?)

Reported-by: Guillaume FLORENCE-COURTAND <gflorenc@laposte.net>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

diff -r 99029fac116b -r 1eea25c0bfe7 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Mon May 12 00:09:31 2014 +0200
+++ b/config/companion_libs/cloog.in	Mon May 26 23:25:17 2014 +0200
@@ -26,28 +26,7 @@
 config CLOOG_V_0_15_11
     bool
     prompt "0.15.11"
-    select CLOOG_0_15_1x
-
-config CLOOG_V_0_15_10
-    bool
-    prompt "0.15.10"
-    select CLOOG_0_15_1x
-
-config CLOOG_V_0_15_9
-    bool
-    prompt "0.15.9"
-
-config CLOOG_V_0_15_8
-    bool
-    prompt "0.15.8"
-
-config CLOOG_V_0_15_7
-    bool
-    prompt "0.15.7"
-
-config CLOOG_V_0_15_6
-    bool
-    prompt "0.15.6"
+    select CLOOG_NEEDS_AUTORECONF
 
 endif # PPL
 
@@ -60,18 +39,9 @@
     default "0.18.1" if CLOOG_V_0_18_1
     default "0.18.0" if CLOOG_V_0_18_0
     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
-    default "0.15.7" if CLOOG_V_0_15_7
-    default "0.15.6" if CLOOG_V_0_15_6
 
 config CLOOG_0_18_or_later
     bool
 
-config CLOOG_0_15_1x
-    bool
-    select CLOOG_NEEDS_AUTORECONF
-
 config CLOOG_NEEDS_AUTORECONF
     bool