mirror of
https://github.com/php/php-src.git
synced 2025-01-09 20:44:33 +08:00
The json header should be installed so other exts can use it
This commit is contained in:
parent
fb35a562ef
commit
8279c03681
@ -10,5 +10,6 @@ if test "$PHP_JSON" != "no"; then
|
||||
AC_HEADER_STDC
|
||||
|
||||
PHP_NEW_EXTENSION(json, json.c utf8_to_utf16.c utf8_decode.c JSON_parser.c, $ext_shared)
|
||||
PHP_INSTALL_HEADERS([ext/json], [php_json.h])
|
||||
PHP_SUBST(JSON_SHARED_LIBADD)
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user