From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: New Flymake rewrite in emacs-26 Date: Tue, 10 Oct 2017 19:40:19 +0300 Message-ID: <83tvz7ot1o.fsf@gnu.org> References: <8760bwz5qf.fsf@gmail.com> <83infw1dkz.fsf@gnu.org> <87efqbb35x.fsf@gmail.com> <831smbqe70.fsf@gnu.org> <87tvz79h0s.fsf@gmail.com> <83wp43ov7s.fsf@gnu.org> <87bmlf9dh3.fsf@gmail.com> Reply-To: Eli Zaretskii NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1507653713 30250 195.159.176.226 (10 Oct 2017 16:41:53 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 10 Oct 2017 16:41:53 +0000 (UTC) Cc: mvoteiza@udel.edu, lele@metapensiero.it, sdl.web@gmail.com, monnier@iro.umontreal.ca, emacs-devel@gnu.org To: joaotavora@gmail.com (=?utf-8?B?Sm/Do28gVMOhdm9yYQ==?=) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Oct 10 18:41:49 2017 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e1xbI-0007CT-Ot for ged-emacs-devel@m.gmane.org; Tue, 10 Oct 2017 18:41:48 +0200 Original-Received: from localhost ([::1]:36069 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e1xbQ-0006Xu-21 for ged-emacs-devel@m.gmane.org; Tue, 10 Oct 2017 12:41:56 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37270) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e1xag-0006Vb-B4 for emacs-devel@gnu.org; Tue, 10 Oct 2017 12:41:14 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e1xaa-0007at-Da for emacs-devel@gnu.org; Tue, 10 Oct 2017 12:41:10 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:58255) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e1xa7-0007Qw-RX; Tue, 10 Oct 2017 12:40:35 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:2437 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1e1xa7-0006df-99; Tue, 10 Oct 2017 12:40:35 -0400 In-reply-to: <87bmlf9dh3.fsf@gmail.com> (joaotavora@gmail.com) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:219346 Archived-At: > From: joaotavora@gmail.com (João Távora) > Cc: emacs-devel@gnu.org, sdl.web@gmail.com, monnier@iro.umontreal.ca, > Mark Oteiza , Lele Gaifax > Date: Tue, 10 Oct 2017 17:25:44 +0100 > > > I think yes. > > OK, IIUC we have copyright assignments for every author besides me If you are unsure, I can check. > It would be nice to have a backend capable of checking Emacs C sources > with GCC and without any extra configurations. To solve the problem with > setting proper GCC flags, perhaps the .dir-locals file can be used. Or > perhaps some other method can be used to infer flags from a Makefile or > some other source. Most of the flags we use are for flagging dubious or erroneous code, they should not matter, I think. What compiler flags must be set for Flycheck to work reasonably well with a program's sources? I guess the -I flags, but what else? (I have never used Flymake, so my questions are ones of a layman in this matter.)