diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r-- | config/companion_libs/mpfr.in | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 910ab4e..61f057a 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -3,32 +3,32 @@ choice bool prompt "MPFR version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW -config MPFR_V_2_3_1 - bool - prompt "2.3.1" - -config MPFR_V_2_3_2 +config MPFR_V_2_4_1 bool - prompt "2.3.2" + prompt "2.4.1" config MPFR_V_2_4_0 bool prompt "2.4.0" -config MPFR_V_2_4_1 +config MPFR_V_2_3_2 bool - prompt "2.4.1" + prompt "2.3.2" + +config MPFR_V_2_3_1 + bool + prompt "2.3.1" -# CT_INSERT_VERSION_ABOVE -# Don't remove above line! endchoice 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 +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW default "2.4.1" if MPFR_V_2_4_1 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! + 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 |