diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-01-13 17:53:18 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-01-13 17:53:18 (GMT) |
| commit | e282fd5551b35cba0c09b92efbe6fa17af7f80a8 (patch) | |
| tree | 8756cb14cbd408716759537a41fbb7e0e6b92e17 /config/companion_libs/cloog.in | |
| parent | dc9dac222045e68aeae5cfbbe04f2764afc33e46 (diff) | |
| parent | 168b5f8858af5ab889b95076ecb110d7aca94f67 (diff) | |
Merge pull request #524 from stilor/force-isl-0.15-for-gcc-4.x
Fix GCC4.x samples after ISL 0.16.1 import.
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 |