Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Json file generation build #1072

Closed
wants to merge 3 commits into from
Closed

Conversation

bukka
Copy link
Member

@bukka bukka commented Feb 9, 2015

The idea is to have json generated files in the repo and to make sure that the correct version of re2c is used. The performance of JSON extension is dependent on their tools. In addition (and more importantly) there is a future possibility to increase the version to 0.13.7+ and use native UTF-8 re2c implementation which would simplify the scanner considerably.

However such restriction could be inconvenient for many users that prefer to use distro version of the re2c. For that reason the generation of re2c and bison files will be optional only if the user configure PHP with --enable-json-filegen option. There is absolutely no need to enable that option if the user don't want to change something in the parser or scanner (which will 99% of users and that 1% is probably just myself :) ). When the options is not enabled, the files in repository are used. That also means that there won't be any conflicts because the files simply won't be regenerated.

@bukka
Copy link
Member Author

bukka commented Feb 15, 2015

Not needed for now.

@bukka bukka closed this Feb 15, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant