diff options
Diffstat (limited to 'config/cc/mpfr.in')
| -rw-r--r-- | config/cc/mpfr.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/config/cc/mpfr.in b/config/cc/mpfr.in index d2e2b00..b033a9e 100644 --- a/config/cc/mpfr.in +++ b/config/cc/mpfr.in @@ -4,10 +4,6 @@ choice bool prompt "MPFR version" -config MPFR_V_2_3_0 - bool - prompt "2.3.0" - config MPFR_V_2_3_1 bool prompt "2.3.1" @@ -18,7 +14,6 @@ endchoice config MPFR_VERSION string - default "2.3.0" if MPFR_V_2_3_0 default "2.3.1" if MPFR_V_2_3_1 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |