On 10/29/2014 11:59 AM, Jakub Jelinek wrote: >> > Ah, got it. Is it hard to move the inclusion to the actual users? > I think it is hard. I think it has been moved to system.h very much > intentionally, as including gmp.h only in selected headers was causing lots > of troubles, e.g. because of #pragma GCC poison at the end of system.h, > I believe some gmp.h versions were using some poisoned symbols. > system.h doesn't include gmp.h if -DGENERATOR_FILE, but libcc1 is not a > generator, so that is not appropriate, it can use various other GCC headers > that are not suitable for generators. GMPINC has been suggested by Joseph, > I'd think if we ever need also GMPLIB, we'd clearly see it as link failures > of libcc1 first and could add it only when really needed.
Fair enough, thanks! Paolo
