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