mirror of
https://github.com/php/php-src.git
synced 2025-08-21 01:45:16 +02:00
- Fix re2c check and bump requirement to 0.12.0
This commit is contained in:
parent
87041a3986
commit
0d49f05c2f
1 changed files with 3 additions and 3 deletions
|
@ -2067,11 +2067,11 @@ AC_DEFUN([PHP_PROG_RE2C],[
|
|||
AC_CHECK_PROG(RE2C, re2c, re2c)
|
||||
if test -n "$RE2C"; then
|
||||
AC_CACHE_CHECK([for re2c version], php_cv_re2c_version, [
|
||||
re2c_vernum=`echo "" | re2c --vernum 2>/dev/null`
|
||||
if test -z "$re2c_vernum" || test "$re2c_vernum" -lt "911"; then
|
||||
re2c_vernum=`re2c --vernum 2>/dev/null`
|
||||
if test -z "$re2c_vernum" || test "$re2c_vernum" -lt "1200"; then
|
||||
php_cv_re2c_version=invalid
|
||||
else
|
||||
php_cv_re2c_version="`echo "" | re2c --version | cut -d ' ' -f 2 2>/dev/null` (ok)"
|
||||
php_cv_re2c_version="`re2c --version | cut -d ' ' -f 2 2>/dev/null` (ok)"
|
||||
fi
|
||||
])
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue