error: gmp.h: No such file or directory

Martin Krischik
Thu Jun 19 13:26:00 GMT 2008

Zitat von Andrew Haley <>:

> Martin Krischik wrote:
>> CFLAGS='-B /opt/gnat/gcc/include'
> Don't do that.
>> Any ideas?
> RTFM, in particular the section

You know, I have "build all script" which was able to create 4.2  
without trouble and now it can't.

> See --with-gmp...

Ohh, I know about "--with-gmp" - it somehow never made a difference no  
matter which "--with-gmp=" I used. I also tried "--with-gmp-include="  
and "--with-gmp-lib=pathname" - which made no difference as well.

I begun to think those options are placebos. But I have another try.  
Maybe it's  working after all - but I doubt that.


More information about the Gcc-help mailing list