On 27.04.2013 22:45, Niels Möller wrote:
indicates that you are using a gmp.h for a 64-bit installation. [..]
Maybe you can fix it by setting CPPFLAGS (or passing the --with-include-path option to Nettle's configure) to point out a directory with a 32-bit installation of the gmp.h header file.
Adding --with-include-path=/usr/lib32/gmp worked like a charm.
Thank you very much