diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
| -rw-r--r-- | config/companion_libs/mpfr.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 365cd4f..61f057a 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -3,6 +3,8 @@ choice bool prompt "MPFR version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config MPFR_V_2_4_1 bool @@ -20,15 +22,13 @@ 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 +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW 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 default "2.3.1" if MPFR_V_2_3_1 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! |