summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-01-06 17:42:41 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-01-06 17:42:41 (GMT)
commitee5171027735ef85788848670eb1ccdf3f2f8550 (patch)
tree139ac81a2133c0950bd9280940453247a5532cd6 /config
parentd81efef120a8b6b986c48251ec29f4cab90d0aa5 (diff)
complibs/mpfr: add latest version 2.4.2
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...).
Diffstat (limited to 'config')
-rw-r--r--config/companion_libs/mpfr.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index 118e229..8111928 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -6,6 +6,11 @@ choice
# 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"
@@ -30,6 +35,7 @@ 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