Date: Tue, 8 Nov 2016 10:25:14 +0800
From: Fengguang Wu <fengguang.wu@intel.com>
To: Emese Revfy <re.emese@gmail.com>
Cc: kbuild-all@01.org, linux-kernel@vger.kernel.org,
        Michal Marek <mmarek@suse.com>
Subject: Re: scripts/gcc-plugins/gcc-common.h:4:22: fatal error: bversion.h:
 No such file or directory
Message-ID: <20161108022514.qf4cejrj6fynnnrr@wfg-t540p.sh.intel.com>
References: <201611060755.pjWd66YC%fengguang.wu@intel.com>
 <20161106091905.6b967ae2f64268e7bdd7c7cf@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Disposition: inline
In-Reply-To: <20161106091905.6b967ae2f64268e7bdd7c7cf@gmail.com>
User-Agent: Mutt/1.6.2-neo (2016-08-08)
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 842
Lines: 24

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@intel.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