I eventually found a link to a github repository with a patch for gmp
that seems to solve the problem (at least partially).
https://github.com/Alexpux/MSYS2-packages/blob/master/gmp/gmp-5.1.2-msys2.patch
This fix has been produced more than three years ago. I do not know if
it was ever submitted to the GMP developer community though. What does
it take to have this patch applied to the official distribution?
--
David Deharbe
ClearSy System Engineering
320, avenue Archimède
Les Pléiades III, Bât. A
13857 AIX EN PROVENCE Cedex 3 - FRANCE
Tel : +33 (0)4 42 37 96 40
_______________________________________________
gmp-bugs mailing list
[email protected]
https://gmplib.org/mailman/listinfo/gmp-bugs
