blob: cf0fea8c4d7206e9e6d8cf50d25d619b07b68cd1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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.
source "config/versions/isl.in"
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
|
