mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-24 23:16:42 +00:00
ee51710277
Note: the MPFR site happens to be down at the time I wrote this message, and happens to be down quite often. Once it's back up'n'runnin', I'll mirror as much as possible the MPFR tarballs on my site, but in the meantime, you'll have to handle it by yourself (patience...).
43 lines
747 B
Plaintext
43 lines
747 B
Plaintext
# GMP options
|
|
|
|
choice
|
|
bool
|
|
prompt "MPFR version"
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config MPFR_V_2_4_2
|
|
bool
|
|
prompt "2.4.2 (EXPERIMENTAL)"
|
|
depends on EXPERIMENTAL
|
|
|
|
config MPFR_V_2_4_1
|
|
bool
|
|
prompt "2.4.1"
|
|
|
|
config MPFR_V_2_4_0
|
|
bool
|
|
prompt "2.4.0"
|
|
|
|
config MPFR_V_2_3_2
|
|
bool
|
|
prompt "2.3.2 (OBSOLETE)"
|
|
depends on OBSOLETE
|
|
|
|
config MPFR_V_2_3_1
|
|
bool
|
|
prompt "2.3.1 (OBSOLETE)"
|
|
depends on OBSOLETE
|
|
|
|
endchoice
|
|
|
|
config MPFR_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
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
|
|
default "2.3.2" if MPFR_V_2_3_2
|
|
default "2.3.1" if MPFR_V_2_3_1
|