| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Sun Sep 13 18:38:06 2009 +0200 (2009-09-13) | |
| changeset 1535 | 073d351bdcd3 |
| parent 1534 | d4ddf19a1968 |
| child 1615 | 50b25816f5bb |
| 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_4_3_1
10 bool
11 prompt "4.3.1"
13 config GMP_V_4_3_0
14 bool
15 prompt "4.3.0"
17 config GMP_V_4_2_4
18 bool
19 prompt "4.2.4"
21 config GMP_V_4_2_2
22 bool
23 prompt "4.2.2"
25 endchoice
27 config GMP_VERSION
28 string
29 # Don't remove next line
30 # CT_INSERT_VERSION_STRING_BELOW
31 default "4.3.1" if GMP_V_4_3_1
32 default "4.3.0" if GMP_V_4_3_0
33 default "4.2.4" if GMP_V_4_2_4
34 default "4.2.2" if GMP_V_4_2_2