mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 12:57:53 +00:00
50 lines
804 B
Plaintext
50 lines
804 B
Plaintext
# GMP options
|
|
|
|
choice
|
|
bool
|
|
prompt "MPFR version"
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config MPFR_V_3_1_2
|
|
bool
|
|
prompt "3.1.2"
|
|
|
|
config MPFR_V_3_1_0
|
|
bool
|
|
prompt "3.1.0"
|
|
|
|
config MPFR_V_3_0_1
|
|
bool
|
|
prompt "3.0.1"
|
|
|
|
config MPFR_V_3_0_0
|
|
bool
|
|
prompt "3.0.0"
|
|
|
|
config MPFR_V_2_4_2
|
|
bool
|
|
prompt "2.4.2"
|
|
|
|
config MPFR_V_2_4_1
|
|
bool
|
|
prompt "2.4.1"
|
|
|
|
config MPFR_V_2_4_0
|
|
bool
|
|
prompt "2.4.0"
|
|
|
|
endchoice
|
|
|
|
config MPFR_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
default "3.1.2" if MPFR_V_3_1_2
|
|
default "3.1.0" if MPFR_V_3_1_0
|
|
default "3.0.1" if MPFR_V_3_0_1
|
|
default "3.0.0" if MPFR_V_3_0_0
|
|
default "2.4.2" if MPFR_V_2_4_2
|
|
default "2.4.1" if MPFR_V_2_4_1
|
|
default "2.4.0" if MPFR_V_2_4_0
|