mirror of
https://github.com/php/php-src.git
synced 2024-09-23 02:47:26 +00:00
- Need to install headers
This commit is contained in:
parent
f9d7b5a833
commit
587009adcd
@ -53,6 +53,7 @@ if test "$PHP_PCRE_REGEX" != "no"; then
|
||||
AC_DEFINE(HAVE_PCRE, 1, [ ])
|
||||
PHP_ADD_INCLUDE($PCRE_INCDIR)
|
||||
PHP_NEW_EXTENSION(pcre, php_pcre.c, $ext_shared,,-DEXPORT= -DNEWLINE=10 -DSUPPORT_UTF8 -DSUPPORT_UCP -DLINK_SIZE=2 -DPOSIX_MALLOC_THRESHOLD=10 -DMATCH_LIMIT=10000000 -DMATCH_LIMIT_RECURSION=10000000 -DMAX_NAME_SIZE=32 -DMAX_NAME_COUNT=10000 -DMAX_DUPLENGTH=30000)
|
||||
PHP_INSTALL_HEADERS([ext/pcre], [php_pcre.h])
|
||||
PHP_SUBST(PCRE_SHARED_LIBADD)
|
||||
fi
|
||||
else
|
||||
|
Loading…
Reference in New Issue
Block a user