コマンドラインまで >>255 と同じなら

× --with-gmp-lib=/usr/local/lib64
○ --with-gmp=/usr/local

mpfr,mpc も同様