diff options
author | 2022-02-14 08:11:42 (GMT) | |
---|---|---|
committer | 2022-02-14 08:11:42 (GMT) | |
commit | 681aaef1f1ff39c341fdc529e0db2c14639a58d8 (patch) | |
tree | ce98c2b3d9648db065d27add325370392a35d584 /config/comp_libs/isl.in | |
parent | ba680a3e5b8c62a7c1554e71f6d09903dac95a2f (diff) | |
parent | 86c2982568de1ad4d4cc12a65b19231331484405 (diff) |
Merge pull request #1674 from stilor/master
Updates to make `ct-ng build-all` pass
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 |