xref: /PHP-7.4/ext/json/config.m4 (revision 75fb7486) 
1PHP_ARG_ENABLE([json],
2  [whether to enable JavaScript Object Serialization support],
3  [AS_HELP_STRING([--disable-json],
4    [Disable JavaScript Object Serialization support])],
5  [yes])
6
7if test "$PHP_JSON" != "no"; then
8  AC_DEFINE([HAVE_JSON],1 ,[whether to enable JavaScript Object Serialization support])
9
10PHP_NEW_EXTENSION(json,
11	  json.c \
12	  json_encoder.c \
13	  json_parser.tab.c \
14	  json_scanner.c,
15	  $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
16  PHP_INSTALL_HEADERS([ext/json], [php_json.h php_json_parser.h php_json_scanner.h])
17  PHP_ADD_MAKEFILE_FRAGMENT()
18  PHP_SUBST(JSON_SHARED_LIBADD)
19fi
20