Bump minimum gmp version to 4.2.3

[Diego Novillo]

On 2012-09-06 15:13 , NightStrike wrote:
> On Thu, Sep 6, 2012 at 2:13 PM, Diego Novillo <dnovillo@google.com> wrote:
>> Doug was trying to build with gmp 4.2.1 and ran into this error:
>>
>> gmp-4.2.1/include/gmp.h:515:12: error: 'std::FILE' has not been declared
>>
>> This bug was fixed in gmp 4.2.3, so I've bumped the minimum
>> acceptable version in configure.ac
>>
>> Tested on x86_64 with gmp 4.2.3.  Committed to trunk.
>
> Don't you also have to modify the contrib/download_prerequisites
> script, as well as the contents of
> ftp://gcc.gnu.org/pub/gcc/infrastructure ?

No. The version I changed is the minimum *tolerable* version (the one 
configure declares as buggy but usable).

4.3.2 is still the minimum we require as acceptable.


Diego.