On Fri, 2019-07-19 at 18:00 +0200, Marc Glisse wrote: > > > Try adding -Wsystem-headers > > (then swap the order of the includes, then look at the new warning) >
Oh I'm sorry now that I know there is a header include dependency I see that there are multiple references to it in the manual. :| One thing that might be helpful though would be to add a section to the Reporting Bugs page for application based compile errors like the header include dependencies. Currently the links in this section only seem to be focused around compile problems when building the library itself _______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
