diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-01-11 01:17:59 (GMT) |
|---|---|---|
| committer | Alexey Neyman <stilor@att.net> | 2017-01-13 07:00:28 (GMT) |
| commit | ce8976fba1f57e720f14326616df4876d3ce4dc9 (patch) | |
| tree | 6091db678f87ff2400859bc174cea35de6a821ae /config/companion_libs/cloog.in | |
| parent | dc9dac222045e68aeae5cfbbe04f2764afc33e46 (diff) | |
Sort out ISL/CLooG dependencies.
Source-wise, both CLooG and GCC depend on ISL, and GCC may depend on
CLooG. However, GCC may or may not require CLooG (GCC5 dropped this
dependency). Also, all GCC4.x releases build fine with any of the CLooG
releases we have.
With all that in mind, it is easier to specify ISL dependency on
particular GCC releases; and CLooG dependency (if applicable) on ISL.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/companion_libs/cloog.in')
| -rw-r--r-- | config/companion_libs/cloog.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index dcac30d..d6e129d 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -1,31 +1,32 @@ # CLooG options +# CLooG 0.18.4 requires ISL 0.12 or newer +# CLooG 0.18.1/0.18.0 frequires ISL 0.12 or older choice bool prompt "CLooG version" -if ISL - # Don't remove next line # CT_INSERT_VERSION_BELOW config CLOOG_V_0_18_4 bool prompt "0.18.4" + depends on ISL_V_0_12_or_later select CLOOG_0_18_4_or_later config CLOOG_V_0_18_1 bool prompt "0.18.1" + depends on !ISL_V_0_14_or_later select CLOOG_0_18_or_later config CLOOG_V_0_18_0 bool prompt "0.18.0" + depends on !ISL_V_0_14_or_later select CLOOG_0_18_or_later -endif # ISL - endchoice config CLOOG_VERSION |