./configure  "--with-libgmp=/Users/bigatti/0.99/gmp-6.1.2/.libs/libgmp.a"
