Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82311 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 20010 invoked from network); 9 Feb 2015 19:23:00 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 9 Feb 2015 19:23:00 -0000 Authentication-Results: pb1.pair.com smtp.mail=nikita.ppv@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=nikita.ppv@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.42 as permitted sender) X-PHP-List-Original-Sender: nikita.ppv@gmail.com X-Host-Fingerprint: 74.125.82.42 mail-wg0-f42.google.com Received: from [74.125.82.42] ([74.125.82.42:46652] helo=mail-wg0-f42.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 91/05-25034-41909D45 for ; Mon, 09 Feb 2015 14:23:00 -0500 Received: by mail-wg0-f42.google.com with SMTP id x13so28906418wgg.1 for ; Mon, 09 Feb 2015 11:22:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Hdcx2nWl60J9wHx+pBp27d46Yu54IARtfjJKYMEH45o=; b=cUzK3kqGya8/hplXAAm9193NbpZGu7F5Q4x+G6DYjlutPCqTz/qeUzINKzXyxwvO+8 oqEXNrQkho3Ee6yYNXgcPcsKPJFN8tyCKunnJ3D0z5WOpB/mIsVsQrA6QkTGYyqHdjTo o2CLbsQs9oynj82JH6OzC9r0mpkMzmmulbOw4bhLoPqTsE/j5uUW/m0NY9YHCdaBrfIv KxkCT+p4Yt3mzB17yUEaPTJFVv4L6ZDMfMtLp7LEXFSrEYp3aZRPoAL/TXuVMfn95zj1 JHPGQaCAuzdebHZs5VSL3+kQTdgWCTvlyzLTuywrBThJdkxndkELspValcRvrWHz825L c1pA== MIME-Version: 1.0 X-Received: by 10.180.198.240 with SMTP id jf16mr37782201wic.27.1423509776885; Mon, 09 Feb 2015 11:22:56 -0800 (PST) Received: by 10.27.10.168 with HTTP; Mon, 9 Feb 2015 11:22:56 -0800 (PST) In-Reply-To: References: Date: Mon, 9 Feb 2015 20:22:56 +0100 Message-ID: To: Pierre Joye Cc: PHP internals , Jakub Zelenka Content-Type: multipart/alternative; boundary=047d7b66f6db95ee56050eacb250 Subject: Re: [PHP-DEV] new json, push generated file? From: nikita.ppv@gmail.com (Nikita Popov) --047d7b66f6db95ee56050eacb250 Content-Type: text/plain; charset=UTF-8 On Mon, Feb 9, 2015 at 3:40 AM, Pierre Joye wrote: > hi, > > Should we push json_parser.tab.c? Which is generated (re2c), just like > what is done in date or other? > We do not include bison generated files in the git repo, because bison is already a dependency for building PHP from git. We only include re2c generated files. Please keep it that way. Nikita --047d7b66f6db95ee56050eacb250--