summaryrefslogtreecommitdiff
path: root/config/companion_libs/isl.in
blob: 6ba9e07eefb0949bcccb98101496d4bcb39295c4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
# ISL options

# 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
# 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.
choice
    bool
    prompt "ISL version"
# Don't remove next line
# CT_INSERT_VERSION_BELOW

config ISL_V_0_18
    bool
    prompt "0.18"
    depends on EXPERIMENTAL # Not officially recommended by GCC
    depends on CC_GCC_5_or_later
    select ISL_V_0_16_or_later

config ISL_V_0_17_1
    bool
    prompt "0.17.1"
    depends on EXPERIMENTAL # Not officially recommended by GCC
    depends on CC_GCC_5_or_later
    select ISL_V_0_16_or_later

config ISL_V_0_16_1
    bool
    prompt "0.16.1"
    depends on CC_GCC_5_or_later
    select ISL_V_0_16_or_later

# Linaro version of 4.9 does not support ISL 0.15, but most recent
# mainline 4.9 release (4.9.4) does.
config ISL_V_0_15
    bool
    prompt "0.15 (OBSOLETE)"
    depends on CC_GCC_4_9_or_later && !CC_GCC_V_linaro_4_9
    select ISL_V_0_15_or_later
    depends on OBSOLETE

config ISL_V_0_14
    bool
    prompt "0.14 (OBSOLETE)"
    select ISL_V_0_14_or_later
    depends on OBSOLETE

config ISL_V_0_12_2
    bool
    prompt "0.12.2 (OBSOLETE)"
    depends on !CC_GCC_6_or_later
    select ISL_V_0_12_or_later
    depends on OBSOLETE

config ISL_V_0_11_1
    bool
    prompt "0.11.1 (OBSOLETE)"
    depends on !CC_GCC_4_9_or_later
    depends on OBSOLETE

endchoice

config ISL_V_0_16_or_later
    bool
    select ISL_V_0_15_or_later

config ISL_V_0_15_or_later
    bool
    select ISL_V_0_14_or_later

config ISL_V_0_14_or_later
    bool
    select ISL_V_0_12_or_later

config ISL_V_0_12_or_later
    bool

config ISL_VERSION
    string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
    default "0.18" if ISL_V_0_18
    default "0.17.1" if ISL_V_0_17_1
    default "0.16.1" if ISL_V_0_16_1
    default "0.15" if ISL_V_0_15
    default "0.14" if ISL_V_0_14
    default "0.12.2" if ISL_V_0_12_2
    default "0.11.1" if ISL_V_0_11_1