diff options
author | Alexey Neyman <stilor@att.net> | 2017-11-30 07:54:11 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-30 07:54:11 (GMT) |
commit | e832b9b220f90b11b893e2815ceb37ec2b708683 (patch) | |
tree | 696f267410565b7f20b9b115bdd4d71881cadfed /config/comp_libs/isl.in | |
parent | 1b8d0d2138a7292b6ad546e1c3dcfd1ed495c02f (diff) | |
parent | 9fdb93cce0a05e2562522153fe5deba8a9e9ae54 (diff) |
Merge pull request #869 from stilor/show-samples
Support custom packages in show-config
Diffstat (limited to 'config/comp_libs/isl.in')
-rw-r--r-- | config/comp_libs/isl.in | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/config/comp_libs/isl.in b/config/comp_libs/isl.in index 9c74078..e0358ee 100644 --- a/config/comp_libs/isl.in +++ b/config/comp_libs/isl.in @@ -1,21 +1,6 @@ # ISL options -# FIXME these currently have no effect -## select CLOOG_REQUIRE_0_18_1_or_older if !ISL_0_12_or_later -## select CLOOG_REQUIRE_0_18_4_or_later if !ISL_0_14_or_older - -source "config/versions/isl.in" - -# FIXME should be auto-generated once companion libs are using gen-kconfig (and hence, ## syntax) -config ISL_CLOOG_auto_select_1 - def_bool y - depends on CLOOG_NEEDED && !ISL_0_12_or_later - select CLOOG_REQUIRE_0_18_1_or_older - -# FIXME should be auto-generated once companion libs are using gen-kconfig (and hence, ## syntax) -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 +## 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 |