diff options
| author |   Yann E. MORIN" <yann.morin.1998@free.fr> | 2013-04-26 12:30:34 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@free.fr> | 2013-04-26 12:30:34 (GMT) |
| commit | f9a787bef9a8478ca50e4ee32e2f4e9afafee063 (patch) | |
| tree | b56a9e432a1daed49113e242ec267b728b0f453d /config/companion_libs | |
| parent | 8d34a99457a17d64bee48c1c7ba24d704668312e (diff) | |
complibs/mpfr: bump version
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Diffstat (limited to 'config/companion_libs')
| -rw-r--r-- | config/companion_libs/mpfr.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 1b8eddf..d77cd0a 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -6,6 +6,10 @@ choice # 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" @@ -36,6 +40,7 @@ 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 |