summaryrefslogtreecommitdiff
path: root/config/comp_libs/cloog.in
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2019-02-07 06:46:14 (GMT)
committerGitHub <noreply@github.com>2019-02-07 06:46:14 (GMT)
commit5aed6ab6e216add471954fdd84a85d9c4e780d05 (patch)
treef57a1fc495d034e04f4ca128fb1e7c3215b4c18e /config/comp_libs/cloog.in
parente550d2c2358ba677380a5b56ce3425a921c272a0 (diff)
parentcad2a775dc96e9fb2b435f154a8fa29ed5427ba0 (diff)
Merge pull request #1134 from stilor/upgrading
Upgrade script + test suite
Diffstat (limited to 'config/comp_libs/cloog.in')
-rw-r--r--config/comp_libs/cloog.in7
1 files changed, 0 insertions, 7 deletions
diff --git a/config/comp_libs/cloog.in b/config/comp_libs/cloog.in
index 54cb76b..01318b4 100644
--- a/config/comp_libs/cloog.in
+++ b/config/comp_libs/cloog.in
@@ -1,8 +1 @@
# CLooG options
-
-# CLooG 0.18.4 requires ISL 0.12 or newer
-# CLooG 0.18.1/0.18.0 requires ISL 0.12 or older
-
-config CLOOG_HAS_WITH_GMP_ISL_OSL
- bool
- default y if CLOOG_0_18_or_later