author | Bryan Hundven <bryanhundven@gmail.com> |
Fri Feb 21 23:28:12 2014 -0800 (2014-02-21) | |
changeset 3304 | cdfeee4fbcfe |
parent 3216 | bfad02f03c75 |
permissions | -rw-r--r-- |
1 # ISL options
3 choice
4 bool
5 prompt "ISL version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config ISL_V_0_12_2
10 bool
11 prompt "0.12.2"
13 config ISL_V_0_11_1
14 bool
15 prompt "0.11.1"
17 endchoice
19 config ISL_VERSION
20 string
21 # Don't remove next line
22 # CT_INSERT_VERSION_STRING_BELOW
23 default "0.12.2" if ISL_V_0_12_2
24 default "0.11.1" if ISL_V_0_11_1