mini-gmp

[paul zimmermann]

       Marc,

> I am curious why you are trying to support mini-gmp in mpfr at all. As far 
> as I understand, the goal of mini-gmp is that a user can take a copy of 
> those 2 files, stick them in his project, and get a self-contained 
> program. Unless you provide a similar mini-mpfr, your user is going to 
> have to install the mpfr dependency anyway, his project is not 
> self-contained, so he might as well install the real GMP.

mpfr users might have their own interest in using mini-gmp, but my own
interest is for mpfr development.

Best regards,
Paul