mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-20 05:17:54 +00:00
39 lines
710 B
Plaintext
39 lines
710 B
Plaintext
# GMP options
|
|
|
|
choice
|
|
bool
|
|
prompt "MPFR version"
|
|
|
|
config MPFR_V_2_3_1
|
|
bool
|
|
prompt "2.3.1"
|
|
|
|
config MPFR_V_2_3_2
|
|
bool
|
|
prompt "2.3.2"
|
|
|
|
config MPFR_V_2_4_0
|
|
bool
|
|
prompt "2.4.0 (EXPERIMENTAL)"
|
|
depends on EXPERIMENTAL
|
|
|
|
# CT_INSERT_VERSION_ABOVE
|
|
# Don't remove above line!
|
|
endchoice
|
|
|
|
config MPFR_VERSION
|
|
string
|
|
default "2.3.1" if MPFR_V_2_3_1
|
|
default "2.3.2" if MPFR_V_2_3_2
|
|
default "2.4.0" if MPFR_V_2_4_0
|
|
# CT_INSERT_VERSION_STRING_ABOVE
|
|
# Don't remove above line!
|
|
|
|
config MPFR_CHECK
|
|
bool
|
|
prompt "Check MPFR"
|
|
default y
|
|
help
|
|
It is highly recommended that 'make check' is run against the newly built
|
|
MPFR library. See http://gmplib.org/
|