summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-02-02 21:09:42 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-02-02 21:09:42 (GMT)
commit910188cea6c553d926eb27f2b3870393bf4cb710 (patch)
tree7e2df5cdaff684540fbeb246ca723ce11c2e5b86 /config
parent7041afc22ae6f84fb20e436cdf6a52b3127a83d9 (diff)
dd latest MPFR 2.4.0 version (EXPERIMENTAL).
/trunk/config/gmp_mpfr/mpfr.in | 6 6 0 0 ++++++ 1 file changed, 6 insertions(+)
Diffstat (limited to 'config')
-rw-r--r--config/gmp_mpfr/mpfr.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/gmp_mpfr/mpfr.in b/config/gmp_mpfr/mpfr.in
index a54804c..00818b8 100644
--- a/config/gmp_mpfr/mpfr.in
+++ b/config/gmp_mpfr/mpfr.in
@@ -12,6 +12,11 @@ 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
@@ -20,6 +25,7 @@ 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!