diff options
| author |   Yann E. MORIN" <yann.morin.1998@free.fr> | 2014-05-26 21:25:17 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@free.fr> | 2014-05-26 21:25:17 (GMT) |
| commit | fba42547681f69289c3647c28612ddd2a1442354 (patch) | |
| tree | c9a5d0886b17c755101132701a7820c1e7217bd6 | |
| parent | d0cc0b3a56b7ba0965370a79c968c489c4c59c5d (diff) | |
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>
| -rw-r--r-- | config/companion_libs/cloog.in | 32 |
1 files changed, 1 insertions, 31 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 6f6a776..c42d7df 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -26,28 +26,7 @@ if PPL 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 @@ config CLOOG_VERSION 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 |