diff options
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/isl.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in index b617aa3..9c74078 100644 --- a/config/companion_libs/isl.in +++ b/config/companion_libs/isl.in @@ -16,7 +16,6 @@ config ISL_CLOOG_auto_select_2 def_bool y depends on CLOOG_NEEDED && !ISL_0_13_or_older select CLOOG_REQUIRE_0_18_4_or_later -# TBD 0.12.2 should allow both! config ISL_NEEDS_WITH_GMP bool |