diff options
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/cloog.in | 3 | ||||
-rw-r--r-- | config/companion_libs/isl.in | 28 |
2 files changed, 17 insertions, 14 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 3c92d52..b894de9 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -1,9 +1,8 @@ # CLooG options ## depends on OBSOLETE -# TBD: encode these version requirements - how? # CLooG 0.18.4 requires ISL 0.12 or newer -# CLooG 0.18.1/0.18.0 frequires ISL 0.12 or older +# CLooG 0.18.1/0.18.0 requires ISL 0.12 or older source "config/versions/cloog.in" diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in index cf0fea8..b617aa3 100644 --- a/config/companion_libs/isl.in +++ b/config/companion_libs/isl.in @@ -1,19 +1,23 @@ # ISL options - -# TBD need to encode this with new framework -# GCC 4.8 supports ISL 0.10 to 0.14 -# GCC 4.9 supports ISL 0.10 to 0.15 -# GCC 5 supports ISL 0.12 to 0.16 -# GCC 6 supports ISL 0.14 to 0.16 -# GCC 7 supports ISL 0.15 and up -# Starting with GCC 5, GCC's configure no longer checks the ISL version explicitly, -# despite what the configure's message says ("checking for isl 0.15 or 0.16"). -# Instead, it verifies that certain interfaces are available, so it accepts 0.17.1 -# or 0.18 under that check. Include them as experimental just in case anyone needs -# the bugfixes in these releases. +# 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 +# TBD 0.12.2 should allow both! + config ISL_NEEDS_WITH_GMP bool default y if !ISL_0_12_or_later |