mirror of
https://github.com/php/php-src.git
synced 2024-10-02 15:26:06 +00:00
b68da91d52
Conflicts: ext/json/JSON_parser.c ext/json/JSON_parser.h ext/json/config.m4 ext/json/config.w32 ext/json/json.c ext/json/php_json.h
22 lines
586 B
Plaintext
22 lines
586 B
Plaintext
dnl
|
|
dnl $Id$
|
|
dnl
|
|
|
|
PHP_ARG_ENABLE(json, whether to enable JavaScript Object Serialization support,
|
|
[ --disable-json Disable JavaScript Object Serialization support], yes)
|
|
|
|
if test "$PHP_JSON" != "no"; then
|
|
AC_DEFINE([HAVE_JSON],1 ,[whether to enable JavaScript Object Serialization support])
|
|
AC_HEADER_STDC
|
|
|
|
PHP_NEW_EXTENSION(json,
|
|
json.c \
|
|
json_encoder.c \
|
|
json_parser.tab.c \
|
|
json_scanner.c,
|
|
$ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
|
|
PHP_INSTALL_HEADERS([ext/json], [php_json.h])
|
|
PHP_ADD_MAKEFILE_FRAGMENT()
|
|
PHP_SUBST(JSON_SHARED_LIBADD)
|
|
fi
|