summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-05-20 04:58:46 (GMT)
committerAlexey Neyman <stilor@att.net>2017-07-08 17:57:56 (GMT)
commite7deac3aad394325f9e6fc6fda41d34ec94a59e0 (patch)
tree6ad88362f0bfa8385a91eb494009a4646aeb74b6 /config/companion_libs/cloog.in
parentb9af225f58e45c7fae7eb9d3689fe939243e7578 (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.in49
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