OSDN Git Service

* configure.in (have_gmp): Only error if the gcc directory exists.