./configure --with-gmp=/usr/local