[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20161108022514.qf4cejrj6fynnnrr@wfg-t540p.sh.intel.com>
Date: Tue, 8 Nov 2016 10:25:14 +0800
From: Fengguang Wu <fengguang.wu@...el.com>
To: Emese Revfy <re.emese@...il.com>
Cc: kbuild-all@...org, linux-kernel@...r.kernel.org,
Michal Marek <mmarek@...e.com>
Subject: Re: scripts/gcc-plugins/gcc-common.h:4:22: fatal error: bversion.h:
No such file or directory
Hi Emese,
On Sun, Nov 06, 2016 at 09:19:05AM +0100, Emese Revfy wrote:
>On Sun, 6 Nov 2016 07:09:57 +0800
>kbuild test robot <fengguang.wu@...el.com> wrote:
>
>> Hi Emese,
>>
>> FYI, the error/warning still remains.
>>
>> ++(scripts/gcc-plugin.sh:12): main(): gcc-4.6 -E -x c++ - -o /dev/null -Iscripts/gcc-plugins -Iplugin/include
>> scripts/Makefile.gcc-plugins:30: warning: your gcc installation does not support plugins, perhaps the necessary headers are missing?
>
>Hi,
>
>You should install the gcc-4.6 plugin headers (gcc-4.6-plugin-dev package on debian if I remember well) for the plugins.
Right. However it seems Debian has removed that package from the repo.
So I'll disable gcc-4.6. Even though gcc supports plugins since 4.5,
it looks debian only provides the plugin headers for gcc-4.8, 4.9, 5
and 6.
Thanks,
Fengguang
Powered by blists - more mailing lists