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