mini-gmp

[Marc Glisse]

Hello,

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.


-- 
Marc Glisse