author | "Yann E. MORIN" <yann.morin.1998@free.fr> |
Mon Jan 07 00:58:13 2013 +0100 (2013-01-07) | |
changeset 3155 | d988235eab7b |
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