| author | Ray Donnelly <mingw.android@gmail.com> |
| Wed Jul 10 12:40:21 2013 +0100 (2013-07-10) | |
| changeset 3223 | 58ca31386bfb |
| parent 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_2
10 bool
11 prompt "3.1.2"
13 config MPFR_V_3_1_0
14 bool
15 prompt "3.1.0"
17 config MPFR_V_3_0_1
18 bool
19 prompt "3.0.1"
21 config MPFR_V_3_0_0
22 bool
23 prompt "3.0.0"
25 config MPFR_V_2_4_2
26 bool
27 prompt "2.4.2"
29 config MPFR_V_2_4_1
30 bool
31 prompt "2.4.1"
33 config MPFR_V_2_4_0
34 bool
35 prompt "2.4.0"
37 endchoice
39 config MPFR_VERSION
40 string
41 # Don't remove next line
42 # CT_INSERT_VERSION_STRING_BELOW
43 default "3.1.2" if MPFR_V_3_1_2
44 default "3.1.0" if MPFR_V_3_1_0
45 default "3.0.1" if MPFR_V_3_0_1
46 default "3.0.0" if MPFR_V_3_0_0
47 default "2.4.2" if MPFR_V_2_4_2
48 default "2.4.1" if MPFR_V_2_4_1
49 default "2.4.0" if MPFR_V_2_4_0