Re: Bump minimum gmp version to 4.2.3

[Diego Novillo]

On 2012-09-06 15:16 , NightStrike wrote:

Actually, on closer inspection, other places list the minimum version
as 4.3.2, including:
http://gcc.gnu.org/install/prerequisites.html

as well as the two locations that I mention above.  Perhaps configure
should do likewise.

It already does (configure.ac:1367).


Diego.