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
