diff options
author | Alexey Neyman <stilor@att.net> | 2017-01-26 21:34:19 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-26 21:34:19 (GMT) |
commit | a36a5893b21aac8c129795be22f5ddf5d1b379ed (patch) | |
tree | 9361e2dfa910cd0e7b75b034eb7124227ae80c21 /config/companion_libs/cloog.in | |
parent | dedee847056ea71cee17b683ef379f00a6debab1 (diff) | |
parent | 8f267b77ae8590374c8f832d6885636b712d9a66 (diff) |
Merge pull request #551 from stilor/obsolete-versions
Obsolete versions
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index d6e129d..f094fa3 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -1,4 +1,5 @@ # CLooG options +## depends on OBSOLETE # CLooG 0.18.4 requires ISL 0.12 or newer # CLooG 0.18.1/0.18.0 frequires ISL 0.12 or older @@ -11,20 +12,23 @@ choice config CLOOG_V_0_18_4 bool - prompt "0.18.4" + prompt "0.18.4 (OBSOLETE)" depends on ISL_V_0_12_or_later + depends on OBSOLETE select CLOOG_0_18_4_or_later config CLOOG_V_0_18_1 bool - prompt "0.18.1" + prompt "0.18.1 (OBSOLETE)" depends on !ISL_V_0_14_or_later + depends on OBSOLETE select CLOOG_0_18_or_later config CLOOG_V_0_18_0 bool - prompt "0.18.0" + prompt "0.18.0 (OBSOLETE)" depends on !ISL_V_0_14_or_later + depends on OBSOLETE select CLOOG_0_18_or_later endchoice |