diff options
author | Remi Collet <remi@php.net> | 2018-10-04 11:45:35 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2018-10-04 11:45:35 +0200 |
commit | bbfea4b470f30b3d92ad73e4addf37c3e247052a (patch) | |
tree | 74ee89026dcf1d0620e4ff878e9c6b7d6dec1dfb /ext | |
parent | 2e984dc72690b0aff1fdc55736b3f8dca1bf2753 (diff) | |
download | php-git-bbfea4b470f30b3d92ad73e4addf37c3e247052a.tar.gz |
Allow to disable pcre.jit when system library is used
as it is for now broken on some arch (s390x...)
Diffstat (limited to 'ext')
-rw-r--r-- | ext/pcre/config0.m4 | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/ext/pcre/config0.m4 b/ext/pcre/config0.m4 index dd1b7d55aa..3f7f04d4fc 100644 --- a/ext/pcre/config0.m4 +++ b/ext/pcre/config0.m4 @@ -47,13 +47,15 @@ PHP_ARG_WITH(pcre-jit,,[ --with-pcre-jit Enable PCRE JIT functionality fi fi - PHP_CHECK_LIBRARY(pcre2-8, pcre2_jit_compile_8, - [ - AC_DEFINE(HAVE_PCRE_JIT_SUPPORT, 1, [ ]) - ],[ - ],[ - $PCRE2_LIB - ]) + if test "$PHP_PCRE_JIT" != "no"; then + PHP_CHECK_LIBRARY(pcre2-8, pcre2_jit_compile_8, + [ + AC_DEFINE(HAVE_PCRE_JIT_SUPPORT, 1, [ ]) + ],[ + ],[ + $PCRE2_LIB + ]) + fi PHP_EVAL_INCLINE($PCRE2_INC) PHP_EVAL_LIBLINE($PCRE2_LIB) |