php-src/scripts/dev
Peter Kokot 3207741df0 Refactor PHP_PROG_BISON and PHP_PROG_RE2C
This patch refactors these macros to also checks for the required given
versions of bison and re2c.

- PHP_PROG_RE2C and PHP_PROG_BISON take optional args - minmimum version
  required, and bison also excluded versions.
- Instead of caching values this uses manual checking and messaging
  outputs.
- It looks like the minimum version of RE2C 0.13.4 is working ok so far.

The genfiles script improvements:
- Add make override in genfiles
- Move checkings from makedist to genfiles
- Refactored output messages
- Various minor enhancements
2019-03-30 02:01:02 +01:00
..
bless_tests.php Support passing single file to bless_tests.php 2019-02-20 12:45:27 +01:00
check_parameters.php Remove yearly range from copyright notice 2019-01-30 11:03:12 +02:00
credits Make credits script executable from other paths 2019-03-16 01:37:34 +01:00
find_tested.php Sync leading and final newlines in source code files 2018-10-14 12:56:38 +02:00
gen_verify_stub Sync leading and final newlines in source code files 2018-10-14 12:56:38 +02:00
genfiles Refactor PHP_PROG_BISON and PHP_PROG_RE2C 2019-03-30 02:01:02 +01:00
makedist Refactor PHP_PROG_BISON and PHP_PROG_RE2C 2019-03-30 02:01:02 +01:00
phpextdist Remove some obsolete config_vars.mk occurrences 2018-10-16 18:05:06 +02:00
search_underscores.php Remove yearly range from copyright notice 2019-01-30 11:03:12 +02:00
snapshot Move some scripts from root directory to scripts/dev/ 2019-02-16 16:58:48 +01:00
vcsclean Move some scripts from root directory to scripts/dev/ 2019-02-16 16:58:48 +01:00