summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/companion_libs/cloog.in32
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