Fw: Install GMP 5.0.1

[Vincent Lefevre]

On 2010-02-20 12:01:25 +0100, Torbjorn Granlund wrote:
> It look like you forgot to build GMP before you tried to install it.
> The GMP manual has a section on how to build and install GMP--please
> read it.

Though I've never tried, this should be handled automatically thanks
to the makefile dependencies.

BTW, I think that "install" should depend on the tests (make check)
too. That way, users wouldn't forget to run "make check" before
installing GMP. :)

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)