summaryrefslogtreecommitdiff
path: root/ext
diff options
context:
space:
mode:
authorRemi Collet <remi@php.net>2018-10-04 11:45:35 +0200
committerRemi Collet <remi@php.net>2018-10-04 11:45:35 +0200
commitbbfea4b470f30b3d92ad73e4addf37c3e247052a (patch)
tree74ee89026dcf1d0620e4ff878e9c6b7d6dec1dfb /ext
parent2e984dc72690b0aff1fdc55736b3f8dca1bf2753 (diff)
downloadphp-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.m416
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)