| author | "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com> |
| Thu Apr 11 15:24:46 2013 +0200 (2013-04-11) | |
| changeset 3202 | 9aa33c435b0b |
| parent 2957 | 3e2f2100a76d |
| child 3207 | ec3c3aa99c79 |
| permissions | -rw-r--r-- |
1 # GMP options
3 choice
4 bool
5 prompt "GMP version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config GMP_V_5_0_2
10 bool
11 prompt "5.0.2"
13 config GMP_V_5_0_1
14 bool
15 prompt "5.0.1"
17 config GMP_V_4_3_2
18 bool
19 prompt "4.3.2"
21 config GMP_V_4_3_1
22 bool
23 prompt "4.3.1"
25 config GMP_V_4_3_0
26 bool
27 prompt "4.3.0"
29 endchoice
31 config GMP_VERSION
32 string
33 # Don't remove next line
34 # CT_INSERT_VERSION_STRING_BELOW
35 default "5.0.2" if GMP_V_5_0_2
36 default "5.0.1" if GMP_V_5_0_1
37 default "4.3.2" if GMP_V_4_3_2
38 default "4.3.1" if GMP_V_4_3_1
39 default "4.3.0" if GMP_V_4_3_0