I've accepted and merged this patch. The test must remain as it is for a bug in an old version of genuine GCC. But the supplied patch is the correct fix.
I'm just going to look and see what the similar Clang patch was you were talking about. Bill. On 28 April 2015 at 21:17, Bill Hart <goodwillh...@googlemail.com> wrote: > I haven't had a chance to look at this yet, sorry. Soon, I hope. > > Bill. > > On 28 April 2015 at 21:09, leif <not.rea...@online.de> wrote: > >> Bill Hart wrote: >> > Thanks Leif! >> >> Forwarded from Sage's trac: >> > Replying to jdemeyer: >> > > Why not unconditionally use static __inline__? >> > > I think that should work on all compilers. >> > Thought of that, too (already when we were fixing the test for clang), >> > but this way it's more explicit, and more importantly doesn't change >> > the test at all for older compilers. >> > >> > After all, upstream will decide... >> >> Opinions? >> >> >> -leif >> >> > On 26 April 2015 at 19:41, leif <not.rea...@online.de >> > <mailto:not.rea...@online.de>> wrote: >> > >> > leif wrote: >> > > Similar to the issues we already had with clang, and as easy to >> fix. >> > > >> > > See http://trac.sagemath.org/ticket/18247 for details. >> > >> > Upstream patch attached (only fixes acinclude.m4, not the generated >> > files, i.e., 'configure'). >> >> -- >> You received this message because you are subscribed to the Google Groups >> "mpir-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to mpir-devel+unsubscr...@googlegroups.com. >> To post to this group, send email to mpir-devel@googlegroups.com. >> Visit this group at http://groups.google.com/group/mpir-devel. >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at http://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.