diff options
author | Alexey Neyman <stilor@att.net> | 2017-05-20 04:58:46 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2017-07-08 17:57:56 (GMT) |
commit | e7deac3aad394325f9e6fc6fda41d34ec94a59e0 (patch) | |
tree | 6ad88362f0bfa8385a91eb494009a4646aeb74b6 /config/companion_libs/cloog.in | |
parent | b9af225f58e45c7fae7eb9d3689fe939243e7578 (diff) |
Switch comp.libs/tools and debug to new framework.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 49 |
1 files changed, 5 insertions, 44 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 95b283c..3c92d52 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -1,51 +1,12 @@ # CLooG options ## depends on OBSOLETE +# TBD: encode these version requirements - how? # 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" -# Don't remove next line -# CT_INSERT_VERSION_BELOW +source "config/versions/cloog.in" -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 (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 (OBSOLETE)" - depends on !ISL_V_0_14_or_later - depends on OBSOLETE - select CLOOG_0_18_or_later - -endchoice - -config CLOOG_VERSION - string -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - 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 - -config CLOOG_0_18_4_or_later - bool - select CLOOG_0_18_or_later - -config CLOOG_0_18_or_later - bool - -config CLOOG_NEEDS_AUTORECONF - bool +config CLOOG_HAS_WITH_GMP_ISL_OSL + bool + default y if CLOOG_0_18_or_later |