OSDN Git Service

* configure.in (--with-mpfr-dir, --with-gmp-dir): Remove flags.