rfc:remove_re2c_generated_files
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
rfc:remove_re2c_generated_files [2015/01/18 17:37] – created bukka | rfc:remove_re2c_generated_files [2025/04/03 13:08] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 6: | Line 6: | ||
- | ===== Introduction ===== | + | This should be deleted as I have changed mind about this |
- | Currently our git repo contains files like zend_language_scanner.c, | + | |
- | + | ||
- | On the other hand the files generated by bison are NOT in the repository. That means an inconsistency in our approach of having generated files in the repository. | + | |
- | + | ||
- | The removal of these files would prevent possible conflicts that often happens when two people edit re2c generated files. | + | |
- | + | ||
- | ===== Proposal ===== | + | |
- | The proposal is to remove re2c generated files from the git repository. | + | |
- | + | ||
- | ===== Proposed PHP Version(s) ===== | + | |
- | master branch | + | |
- | + | ||
- | ===== RFC Impact ===== | + | |
- | There is no impact or anything | + | |
- | + | ||
- | ===== Proposed Voting Choices ===== | + | |
- | 50%+1 majority | + | |
- | + | ||
- | ===== Patches and Tests ===== | + | |
- | git rm ? | + | |
- | + | ||
- | ===== Implementation ===== | + | |
- | After the project is implemented, | + | |
- | - the version(s) it was merged to | + | |
- | - a link to the git commit(s) | + | |
- | + | ||
- | ===== References ===== | + | |
- | Previous discussion about removing re2c generated code http:// | + | |
- | Initial discussion about bison 3 generated sources in the repository: http:// | + |
rfc/remove_re2c_generated_files.1421602622.txt.gz · Last modified: 2025/04/03 13:08 (external edit)