Stavros Petsalakis <stpetsalakis at gmail.com> writes: No Makefile Found, only the automake files Oh, that's a terrible oversight of ours! Strangely enough, nobody ever noticed this rudimentary GMP bug. Fortunately, a workaround is avaiable: http://gmplib.org/manual/Installing-GMP.html -- Torbjörn