Re: new json, push generated file?

From: Date: Tue, 10 Feb 2015 02:47:36 +0000
Subject: Re: new json, push generated file?
References: 1 2 3 4 5 6 7 8  Groups: php.internals 
Request: Send a blank email to internals+get-82326@lists.php.net to get a copy of this message
Hey: On Tue, Feb 10, 2015 at 3:19 AM, Jakub Zelenka <bukka@php.net> wrote: > On Mon, Feb 9, 2015 at 1:55 PM, Pierre Joye <pierre.php@gmail.com> 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/

« previous php.internals (#82326) next »