This is the mail archive of the
gcc-help@gcc.gnu.org
mailing list for the GCC project.
Re: #include "gmp.h" in system.h via gcc-plugin.h
- From: Bert Wesarg <bert dot wesarg at googlemail dot com>
- To: "gcc-help at gcc dot gnu dot org" <gcc-help at gcc dot gnu dot org>
- Cc: Markus Geimer <m dot geimer at fz-juelich dot de>, Basile Starynkevitch <basile at starynkevitch dot net>, David Malcolm <dmalcolm at redhat dot com>, Ludovic CourtÃs <ludovic dot courtes at inria dot fr>
- Date: Fri, 20 Feb 2015 09:25:30 +0100
- Subject: Re: #include "gmp.h" in system.h via gcc-plugin.h
- Authentication-results: sourceware.org; auth=none
- References: <CAKPyHN17Dvbr-xKwDZQoYWz+iP435VMFb1bOjjtZkcwsbkxWbg at mail dot gmail dot com>
[ Cc'ing all known plug-in authors. ]
Guys, are you aware of this gmp.h dependency and by chance how are you
dealing with it?
Thanks.
On Thu, Feb 19, 2015 at 6:53 PM, Bert Wesarg <bert.wesarg@googlemail.com> wrote:
> Hi,
>
> this include makes trouble for me as an plug-in author. If GCC was
> build against the system GMP everything is fine. But if GCC was build
> by specifying --with-gmp or --with-gmp-include than the plug-in
> headers are broken, as they can't find the gmp.h header.
>
> I currently only use
>
> $ gcc -print-file-name=plugin/include
>
> to get the include path to build a plug-in for this gcc. But I don't
> have an idea how to get the include path to the used gmp.h.
>
> It gets even wors if an internal GMP is used, because in this case the
> gmp.h header from GMP wont be installed at all. Thus there is no
> chance, that the plug-in headers can work.
>
> Please enlighten me, how I should handle this, when building my plug-in.
>
> Thanks.
>
> Bert