gcc-4.1.2 configuration failed

[Brian Dessent]

Gordiano Brunati wrote:

> configure:2284:17: error: gmp.h: No such file or directory

It looks like you don't have the headers installed.  They are usually in
a separate package (with -dev or -devel in the name) because they are
only needed by developers (i.e. linking against the library), not for
regular users that are just running binaries that use the library.  So
you need to double check that you got the right package.

Brian