Re: new json, push generated file?
| From: | Nikita Popov | Date: | Mon, 09 Feb 2015 19:22:56 +0000 |
| Subject: | Re: new json, push generated file? | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82311@lists.php.net to get a copy of this message | ||
On Mon, Feb 9, 2015 at 3:40 AM, Pierre Joye <pierre.php@gmail.com> 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