antlr / antlr/antlr-php-runtime

PHP package numbers should be identical to the version for Antlr.

Open
#39 1 comment 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
PHP
Stars
97
Forks
18
Avg merge
12m
Merged PRs (30d)
2

Description

## ✨ Feature request
Right now, [packagist](https://packagist.org/packages/antlr/antlr4-php-runtime) has version 0.8.0 of the PHP runtime for Antlr. That corresponds to Antlr 4.12.0. We have a new version for Antlr 4.13.0, and there should be a new version of the PHP runtime for Antlr. But, it would be best to have antlr4-php-runtime use version numbers correspond exactly to Antlr tool version, and which are used in all the other targets, e.g., 4.13.0. Antlr programs cannot use different runtime versions with the tool.

### Motivation
Dependabot in Github parses build specification files and issues update PRs when an Antlr ***runtime*** is released. But, building an Antlr program also requires the Antlr tool version to match. I can run the [antlr4 tool](https://github.com/antlr/antlr4-tools) with a `-v 4.13.0` option, where the version is extracted from a PHP Composer file, but I then have to map the runtime version string there for PHP Antlr of `0.9.0` to `4.13.0`. This makes Dependabot useless for PHP because I don't know what the mapping is aprori. ***Will*** 0.10.0 map to 4.14.0 or 4.13.1 or what??? I don't know the mapping until the PHP Antlr runtime is actually released.

### Alternatives
Manually update the PHP Antlr version and Antlr tool version in the templates for grammars-v4, and don't let Dependabot analyse PHP Composer files.

### Additional context
Templates for PHP are [here](https://github.com/antlr/grammars-v4/tree/master/_scripts/templates/PHP). The Dependabot update for PHP is [here](https://github.com/antlr/grammars-v4/blob/4ee2f74c11722d0b7d6c52cc6a86d7f2564fe11c/.github/dependabot.yml#L48).

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.