| author | danielrubiob@gmail.com |
| Sun Feb 09 22:23:59 2014 +0100 (2014-02-09) | |
| changeset 3283 | d317f3a211d3 |
| parent 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_1_3
10 bool
11 prompt "5.1.3"
13 config GMP_V_5_1_1
14 bool
15 prompt "5.1.1"
17 config GMP_V_5_0_2
18 bool
19 prompt "5.0.2"
21 config GMP_V_5_0_1
22 bool
23 prompt "5.0.1"
25 config GMP_V_4_3_2
26 bool
27 prompt "4.3.2"
29 config GMP_V_4_3_1
30 bool
31 prompt "4.3.1"
33 config GMP_V_4_3_0
34 bool
35 prompt "4.3.0"
37 endchoice
39 config GMP_VERSION
40 string
41 # Don't remove next line
42 # CT_INSERT_VERSION_STRING_BELOW
43 default "5.1.3" if GMP_V_5_1_3
44 default "5.1.1" if GMP_V_5_1_1
45 default "5.0.2" if GMP_V_5_0_2
46 default "5.0.1" if GMP_V_5_0_1
47 default "4.3.2" if GMP_V_4_3_2
48 default "4.3.1" if GMP_V_4_3_1
49 default "4.3.0" if GMP_V_4_3_0