author | "Yann E. MORIN" <yann.morin.1998@free.fr> |
Sun Jan 05 19:44:45 2014 +0100 (2014-01-05) | |
changeset 3277 | ead33a889ef9 |
parent 3142 | 6569f6a9060c |
child 3283 | d317f3a211d3 |
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_1
10 bool
11 prompt "5.1.1"
13 config GMP_V_5_0_2
14 bool
15 prompt "5.0.2"
17 config GMP_V_5_0_1
18 bool
19 prompt "5.0.1"
21 config GMP_V_4_3_2
22 bool
23 prompt "4.3.2"
25 config GMP_V_4_3_1
26 bool
27 prompt "4.3.1"
29 config GMP_V_4_3_0
30 bool
31 prompt "4.3.0"
33 endchoice
35 config GMP_VERSION
36 string
37 # Don't remove next line
38 # CT_INSERT_VERSION_STRING_BELOW
39 default "5.1.1" if GMP_V_5_1_1
40 default "5.0.2" if GMP_V_5_0_2
41 default "5.0.1" if GMP_V_5_0_1
42 default "4.3.2" if GMP_V_4_3_2
43 default "4.3.1" if GMP_V_4_3_1
44 default "4.3.0" if GMP_V_4_3_0