summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
authorBryan Hundven <bryanhundven@gmail.com>2015-12-08 02:41:02 (GMT)
committerBryan Hundven <bryanhundven@gmail.com>2015-12-08 02:41:02 (GMT)
commit2d3c70dd3ddc5a569c0fa1a833fd5920029b5794 (patch)
tree22ccd44378e386a8e72f6486728513ced4f0304a /config/companion_libs/cloog.in
parent8a87716fbfe1743ac4fecd11d5f31e02bbdcbe77 (diff)
parentcfd2a6b69c4945808ae153552e6978afb1273ef7 (diff)
Merge pull request #282 from bhundven/less_gcc_versions_part2
Less gcc versions part2
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in10
1 files changed, 0 insertions, 10 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index 6fb522a..dcac30d 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -26,15 +26,6 @@ config CLOOG_V_0_18_0
endif # ISL
-if PPL
-
-config CLOOG_V_0_15_11
- bool
- prompt "0.15.11"
- select CLOOG_NEEDS_AUTORECONF
-
-endif # PPL
-
endchoice
config CLOOG_VERSION
@@ -44,7 +35,6 @@ config CLOOG_VERSION
default "0.18.4" if CLOOG_V_0_18_4
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
config CLOOG_0_18_4_or_later
bool