braga Vittorio.Braga@roma2.infn.it writes:
When I do make check on gmp all tests are PASSed and make install does not give me any error..
I don't think there's any problem with your gmp install, it's just that the nettle build gets messed up a bit with headerfiles from /usr/local/include and libgmp.so from /usr/lib. What's needed is to make sure that nettle picks up the same gmp version at compile time, link time and runtime. (I'm going to reply to your other mail in a little while).
That said, it would make things a bit simpler if you had only a single version of gmp installed. So if you don't need gmp-6 for some other reason, you could try uninstalling the gmp-6 you have in /usr/local (and make sure you get rid if its header files), and install ubuntu's libgmp-dev package instead. Then for nettle, do a make distclean and then start over with configure.
Regards, /Niels