From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752504AbcFKTCO (ORCPT ); Sat, 11 Jun 2016 15:02:14 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:46322 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751883AbcFKTCN (ORCPT ); Sat, 11 Jun 2016 15:02:13 -0400 X-IronPort-AV: E=Sophos;i="5.26,458,1459807200"; d="scan'208";a="222052400" Date: Sat, 11 Jun 2016 21:02:09 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@localhost6.localdomain6 To: Kees Cook cc: Emese Revfy , LKML , "Luis R. Rodriguez" Subject: Re: compilation with plugins In-Reply-To: Message-ID: References: User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sat, 11 Jun 2016, Kees Cook wrote: > On Sat, Jun 11, 2016 at 11:29 AM, Julia Lawall wrote: > > Hello, > > > > I am not able to compile anything with last Friday's linux-next: > > Hi! This is due to the addition of the gcc plugin infrastructure, but > most people don't have the gcc plugin header packages installed. For > now, we're going to disable them under all*config builds: > > https://lkml.org/lkml/2016/6/11/111 > > If you want to test them, you'll need the gcc plugin development > package. On Debian and Ubuntu they are named like this: > > gcc-5-plugin-dev - Files for GNU GCC plugin development. > gcc-4.7-plugin-dev - Files for GNU GCC plugin development. > gcc-4.8-plugin-dev - Files for GNU GCC plugin development. > gcc-4.9-plugin-dev - Files for GNU GCC plugin development. OK. Thanks for the information. julia