diff options
| author |   Jasmin Jessich <jasmin@anw.at> | 2015-08-29 09:44:22 (GMT) |
|---|---|---|
| committer | Jasmin Jessich <jasmin@anw.at> | 2015-09-01 19:32:45 (GMT) |
| commit | c7f061774ab7df8d3ea2716ab2e1af87fee89491 (patch) | |
| tree | dcac520d7002c58468ad9205906575aecbf9fd92 /config | |
| parent | 094b5be8fd9b8a99636b802430eb4ae2edc37710 (diff) | |
Support mpfr 3.1.3 in configuration.
Signed-off-by: Jasmin Jessich <jasmin@anw.at>
Diffstat (limited to 'config')
| -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 d77cd0a..fef50b0 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_3 + bool + prompt "3.1.3" + config MPFR_V_3_1_2 bool prompt "3.1.2" @@ -40,6 +44,7 @@ config MPFR_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "3.1.3" if MPFR_V_3_1_3 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 |