On 28.04.2016 16:29, Richard Biener wrote: > > Another option would be to try if mini-gmp is enough for our > (in-tree) use and what the performance impact would be if we'd > use that (in-tree). >
Yes, we would certainly never need more than that subset. But I don't see how mpfr can be built with mini-gmp. I tried to and failed early in mpfr/configure. Any ideas? Bernd.