blob: 3690c97f6fd2dc88532bdca5e8c952e31f2e6f9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
# GMP options
choice
bool
prompt "GMP version"
config GMP_V_4_2_2
bool
prompt "4.2.2"
config GMP_V_4_2_4
bool
prompt "4.2.4"
# CT_INSERT_VERSION_ABOVE
# Don't remove above line!
endchoice
config GMP_VERSION
string
default "4.2.2" if GMP_V_4_2_2
default "4.2.4" if GMP_V_4_2_4
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!
config GMP_CHECK
bool
prompt "Check GMP (!!! README !!!)"
default n
help
It is highly recommended to check the newly built GMP library.
Unfortunately, this is a very intensive task, and takes a loooong time.
Checking GMP is thus disabled by default.
If you suspect that your GMP library is the cause for incorrectly
generated code, you should answer 'Y' here.
|