On 29/10/14 10:53, Paolo Bonzini wrote: >>> 2) why is GMPLIB not handled in the same way? >> >> The only problem is that system.h includes gmp.h, so we need a way >> to find that header. I think libcc1 doesn't use any functions from gmp >> itself, so if gmp.h can be included, GMPLIB isn't really needed. > > Ah, got it. Is it hard to move the inclusion to the actual users?
We don't, I was looking at this issue today. It is just as Jakub explains. Cheers Phil