Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82326 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 72120 invoked from network); 10 Feb 2015 02:48:04 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 10 Feb 2015 02:48:04 -0000 Authentication-Results: pb1.pair.com header.from=laruence@php.net; sender-id=unknown Authentication-Results: pb1.pair.com smtp.mail=xinchen.h@zend.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.217.182 as permitted sender) X-PHP-List-Original-Sender: xinchen.h@zend.com X-Host-Fingerprint: 209.85.217.182 mail-lb0-f182.google.com Received: from [209.85.217.182] ([209.85.217.182:51636] helo=mail-lb0-f182.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 6E/83-47508-16179D45 for ; Mon, 09 Feb 2015 21:48:02 -0500 Received: by mail-lb0-f182.google.com with SMTP id l4so33597867lbv.13 for ; Mon, 09 Feb 2015 18:47:58 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=fBJrH3uALur1tBtbMBLLTq7Aql3iPdZT63dIaQrdyRY=; b=AV6WzVIgUqvxBuHzBAnrQoRHcuCiHJmasXXpMJUbdb3LNqKAn72AleIaRIyED7ztko nEku1YHSZ+41aNtX4FRIY2YckP1JFnM3ZYuF1V69G2KCNOIAnjZuaWv9thn0J//0u/vx dIm1GY+YatwfWhZh3wN7QvRX3wH7E7HqmdtznwU/EzXblehZI8TtqhlBC1lCQ8pPlc+u tT5L5P0o0xZmrosU0cN2VyCbO4AJdzCV4D2qWaHsrIGppqgshrZIgiJii9161Kr/d7Kt Oq+eh6hfF8rCQGIRLO0OzIBPl9QxX2T4Jh5eHKU6h9n5HdYiTVzV4PQ8rEKPH9imTscm 6TFQ== X-Gm-Message-State: ALoCoQn8fP/RdeO+pTcbQ2yqme0eArjJF5GaZQojK30XZDAln5cmYCtUFZmoN37AGeC6Qloz2/8vwXbVwM4X3WjI2Nyk9gaTUDhQV+OvQoMumA3bBIUzMh406PWwA2mKpJfbfTkNtMJcqMsJmX65xpsOdtZ1SbThAQ== X-Received: by 10.112.202.227 with SMTP id kl3mr20843985lbc.81.1423536478334; Mon, 09 Feb 2015 18:47:58 -0800 (PST) Received: from mail-lb0-f170.google.com (mail-lb0-f170.google.com. [209.85.217.170]) by mx.google.com with ESMTPSA id p8sm1957694lae.39.2015.02.09.18.47.56 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 09 Feb 2015 18:47:57 -0800 (PST) Received: by mail-lb0-f170.google.com with SMTP id u14so9438410lbd.1 for ; Mon, 09 Feb 2015 18:47:56 -0800 (PST) X-Received: by 10.152.42.133 with SMTP id o5mr20576115lal.113.1423536476292; Mon, 09 Feb 2015 18:47:56 -0800 (PST) MIME-Version: 1.0 Received: by 10.114.28.193 with HTTP; Mon, 9 Feb 2015 18:47:36 -0800 (PST) In-Reply-To: References: Date: Tue, 10 Feb 2015 10:47:36 +0800 Message-ID: To: Jakub Zelenka Cc: Pierre Joye , Anatol Belski , PHP internals Content-Type: text/plain; charset=UTF-8 Subject: Re: [PHP-DEV] new json, push generated file? From: laruence@php.net (Xinchen Hui) Hey: On Tue, Feb 10, 2015 at 3:19 AM, Jakub Zelenka wrote: > On Mon, Feb 9, 2015 at 1:55 PM, Pierre Joye wrote: >> >> I still think it is better to have this file applied. It is not like they >> will change every 2nd day. > > Hi, > > I think that I might have solution for this and also for my another build > problem which is re2c version. > > I have just created a PR where I tried to explain everything: > > https://github.com/php/php-src/pull/1072 > > Basically ti adds all sources but allows to regenerate them only if the > options --enable-json-filegen is set (more details are in the description). > > The config changes are just for Linux as I'm not sure how to do it on win > and if it's even needed (if someone will send any patches to json scanner or > parser and needs to generate them automatically). > > I'll keep the PR open for a week or so and if there are no objection, I > would like merge it. I'm also open changing the name of the option and will > be glad for any config.m4 related comments and reviews. why make this thing in this way complicated? why not just simply include the generated files as others did? thanks > > Cheers > > Jakub > -- Xinchen Hui @Laruence http://www.laruence.com/