Re: bignum branch

[Eli Zaretskii]

> From: Andy Moreton <address@hidden>
> Date: Tue, 14 Aug 2018 16:11:36 +0100
> 
> It seems the answer is patch the header manually , or avoid -Og builds.

I think that could be dangerous of the MSYS2 maintainers want GMP to
be linked statically.  A better course of action would be to remove or
rename libgmp.dll.a.  (I understand the annoyance with the warning
from pacman, but wouldn't it also whine if you modify the header
file?)

> I have not yet tried an -O2 build to see if that works.

Even if it does, I think one cannot rely on that.