François PERRAD (via RT) wrote:
This small patch allows the configuration of GMP with MinGW32. And tests are OK.
But only on MinGW32 maybe ;-) On my linux box gmp isn't linked in any more. I'd say keep the OS test as is, but exclude MinGW. And there are a lot compilers that aren't gcc but need -lgmp.
leo