Remove decimal float from system mpfr

parent 080956ed
......@@ -53,3 +53,13 @@ configure: WARNING: If you did not use such an option, please send us a bug
configure: WARNING: report so that we can try to find a workaround for your
configure: WARNING: platform and/or document the behavior.
```
LTO couldn't be enabled on the shared version of mpfr, as it would result
in the following error when running configure:
error: --enable-lto can only work in static mode (--disable-shared)
Also, `--enable-decimal-float` can't be used on system mpfr...:
```C
configure: error: internal or link error.
Please build MPFR without --enable-decimal-float.
```
......@@ -21,7 +21,6 @@ configure() {
--enable-thread-safe \
--enable-shared-cache \
--disable-static \
--enable-decimal-float \
--enable-float128
} &&
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment