[Bug modula2/105391] gm2 doesn't heed --with-gmp*

2022-04-28 Thread gaius at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105391 Gaius Mulley changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug modula2/105391] gm2 doesn't heed --with-gmp*

2022-04-26 Thread ro at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105391 --- Comment #1 from Rainer Orth --- Created attachment 52883 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52883&action=edit Hacky patch