2013-05-03 22:08:34 +00:00
|
|
|
# ISL options
|
2017-06-30 05:40:50 +00:00
|
|
|
# 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
|
2013-05-03 22:08:34 +00:00
|
|
|
|
2017-05-20 04:58:46 +00:00
|
|
|
source "config/versions/isl.in"
|
2013-05-03 22:08:34 +00:00
|
|
|
|
2017-06-30 05:40:50 +00:00
|
|
|
# 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
|
|
|
|
|
2017-05-20 04:58:46 +00:00
|
|
|
config ISL_NEEDS_WITH_GMP
|
2017-01-11 01:17:59 +00:00
|
|
|
bool
|
2017-05-20 04:58:46 +00:00
|
|
|
default y if !ISL_0_12_or_later
|
2017-01-11 01:17:59 +00:00
|
|
|
|
2017-05-20 04:58:46 +00:00
|
|
|
config ISL_HAS_WITH_PIPLIB
|
2016-12-23 21:32:54 +00:00
|
|
|
bool
|
2017-05-20 04:58:46 +00:00
|
|
|
default y if !ISL_0_14_or_later
|