| author | "Jerzy Grzegorek" <jerzy.grzegorek@trzebnica.net> |
| Thu Mar 21 11:01:09 2013 +0100 (2013-03-21) | |
| changeset 3205 | 30de175d3ed3 |
| parent 2957 | 3e2f2100a76d |
| child 3208 | c92461167049 |
| 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 endchoice
35 config MPFR_VERSION
36 string
37 # Don't remove next line
38 # CT_INSERT_VERSION_STRING_BELOW
39 default "3.1.0" if MPFR_V_3_1_0
40 default "3.0.1" if MPFR_V_3_0_1
41 default "3.0.0" if MPFR_V_3_0_0
42 default "2.4.2" if MPFR_V_2_4_2
43 default "2.4.1" if MPFR_V_2_4_1
44 default "2.4.0" if MPFR_V_2_4_0