diff options
author | Bryan Hundven <bryanhundven@gmail.com> | 2015-12-08 02:41:02 (GMT) |
---|---|---|
committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-12-08 02:41:02 (GMT) |
commit | 2d3c70dd3ddc5a569c0fa1a833fd5920029b5794 (patch) | |
tree | 22ccd44378e386a8e72f6486728513ced4f0304a /config/companion_libs/cloog.in | |
parent | 8a87716fbfe1743ac4fecd11d5f31e02bbdcbe77 (diff) | |
parent | cfd2a6b69c4945808ae153552e6978afb1273ef7 (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.in | 10 |
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 |