| author | Daniel Price <daniel.price@gmail.com> |
| Tue Nov 20 16:59:17 2012 -0800 (2012-11-20) | |
| changeset 3126 | 333d3e40cbd1 |
| parent 2756 | 3976adc582fb |
| child 3142 | 6569f6a9060c |
| permissions | -rw-r--r-- |
1 # GMP options
3 choice
4 bool
5 prompt "MPFR version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config MPFR_V_3_1_0
10 bool
11 prompt "3.1.0"
13 config MPFR_V_3_0_1
14 bool
15 prompt "3.0.1"
17 config MPFR_V_3_0_0
18 bool
19 prompt "3.0.0"
21 config MPFR_V_2_4_2
22 bool
23 prompt "2.4.2"
25 config MPFR_V_2_4_1
26 bool
27 prompt "2.4.1"
29 config MPFR_V_2_4_0
30 bool
31 prompt "2.4.0"
33 config MPFR_V_2_3_2
34 bool
35 prompt "2.3.2 (OBSOLETE)"
36 depends on OBSOLETE
38 config MPFR_V_2_3_1
39 bool
40 prompt "2.3.1 (OBSOLETE)"
41 depends on OBSOLETE
43 endchoice
45 config MPFR_VERSION
46 string
47 # Don't remove next line
48 # CT_INSERT_VERSION_STRING_BELOW
49 default "3.1.0" if MPFR_V_3_1_0
50 default "3.0.1" if MPFR_V_3_0_1
51 default "3.0.0" if MPFR_V_3_0_0
52 default "2.4.2" if MPFR_V_2_4_2
53 default "2.4.1" if MPFR_V_2_4_1
54 default "2.4.0" if MPFR_V_2_4_0
55 default "2.3.2" if MPFR_V_2_3_2
56 default "2.3.1" if MPFR_V_2_3_1