blob: 21a8ee4da5e8a6e55939eb94d38f6cb03a16019f (
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
|
# GMP options
choice
bool
prompt "GMP version"
config GMP_V_4_2_2
bool
prompt "4.2.2"
# CT_INSERT_VERSION_ABOVE
# Don't remove above line!
endchoice
config GMP_VERSION
string
default "4.2.2" if GMP_V_4_2_2
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!
config GMP_CHECK
bool
prompt "Check GMP"
default y
help
It is highly recommended that 'make check' is run against the newly built
GMP library. See http://gmplib.org/
|