[patch] Remove gmp/mpfr/mpc includes from real.h

[Richard Guenther]

On Sat, 22 May 2010, Steven Bosscher wrote:

> On Sat, May 22, 2010 at 11:24 AM, Anatoly Sokolov <aesok@post.ru> wrote:
> > Hi.
> >>
> >> As discussed earlier today: It's unnecessary to drag in mpfr&friends
> >> in all implementation files that include real.h. Â This patch splits
> >> the mpfr dependencies off to two new files, realmpfr.[ch]. I had to
> >> make some further changes to avoid including tree.h (and everything
> >> needed for it) in realmpfr.[ch],
> >
> > Need to do this with double_int also? I.e. move mpz_set_double_int
> > and mpz_get_double_int functions from double-int.[ch] Â to
> > double-int-gmp.[ch].
> 
> Ah, I did not know about those.
> 
> I think it's a good idea. You could also add them to realmpfr.? and
> rename those two files to something more appropriate.

Yes, that's probably better.  Like mp-int.[ch] for "multiprecision
interface".

Richard.