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 (configur
On 2012-09-06 15:13 , NightStrike wrote:
On Thu, Sep 6, 2012 at 2:13 PM, Diego Novillo 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
a
On Thu, Sep 6, 2012 at 3:13 PM, NightStrike wrote:
> On Thu, Sep 6, 2012 at 2:13 PM, Diego Novillo 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'
On Thu, Sep 6, 2012 at 2:13 PM, Diego Novillo 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
trunk.
Diego.
* configure.ac: Bump minimum GMP version to 4.2.3.
* configure: Re-generate.
diff --git a/configure b/configure
index 8272ed0..a5df0c8 100755
--- a/configure
+++ b/configure
@@ -5318,7 +5318,7 @@ main ()
#define GCC_GMP_VERSION_NUM(a,b,c) (((a) << 1
