diff options
Diffstat (limited to 'config/comp_libs/isl.in')
| -rw-r--r-- | config/comp_libs/isl.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config/comp_libs/isl.in b/config/comp_libs/isl.in index fe6fa8d..22b0cad 100644 --- a/config/comp_libs/isl.in +++ b/config/comp_libs/isl.in @@ -1,13 +1 @@ # ISL options -# CLooG 0.18.4 requires ISL 0.12 or newer -# CLooG 0.18.1 requires ISL 0.12 or older -## select CLOOG_REQUIRE_0_18_1_or_older if CLOOG_NEEDED && !ISL_0_12_or_later -## select CLOOG_REQUIRE_0_18_4_or_later if CLOOG_NEEDED && !ISL_0_14_or_older - -config ISL_NEEDS_WITH_GMP - bool - default y if !ISL_0_12_or_later - -config ISL_HAS_WITH_PIPLIB - bool - default y if !ISL_0_14_or_later |