diff options
| author | jvoisin | 2022-03-20 19:58:26 +0100 |
|---|---|---|
| committer | jvoisin | 2022-03-20 20:05:31 +0100 |
| commit | f22a086826f0d2259d3af5bc2b1258743f99eee2 (patch) | |
| tree | 7f77b5f20191919ceb091849f6c1272a3191791b /src | |
| parent | 45222ad76c33f49462e70916353bda3f1c2d9f71 (diff) | |
Install re2c in the CI
Diffstat (limited to 'src')
| -rw-r--r-- | src/config.m4 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/config.m4 b/src/config.m4 index faf5f92..78ca6a2 100644 --- a/src/config.m4 +++ b/src/config.m4 | |||
| @@ -45,5 +45,7 @@ if test "$PHP_SNUFFLEUPAGUS" = "yes"; then | |||
| 45 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) | 45 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) |
| 46 | fi | 46 | fi |
| 47 | 47 | ||
| 48 | PHP_PROG_RE2C([2.0]) | 48 | # Uncommend once we don't support Ubuntu Focal Fossa (20.04) |
| 49 | #PHP_PROG_RE2C([2.0]) | ||
| 50 | |||
| 49 | PHP_ADD_MAKEFILE_FRAGMENT() | 51 | PHP_ADD_MAKEFILE_FRAGMENT() |