diff options
| author | Johannes Schlüter <johannes@php.net> | 2016-10-18 14:48:17 +0200 |
|---|---|---|
| committer | Johannes Schlüter <johannes@php.net> | 2016-10-18 14:48:17 +0200 |
| commit | b7fe687914759cae706e318c3a4c245c9f71400d (patch) | |
| tree | 14deb001c6f63ecb7d8dc943be1c178edca34ae0 | |
| parent | 2b246e2e38e1df9fe4611e3e6ba02a0f78cc700d (diff) | |
| download | php-git-b7fe687914759cae706e318c3a4c245c9f71400d.tar.gz | |
Install ext/json headers so that other extension can parse, too
| -rw-r--r-- | ext/json/config.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/json/config.m4 b/ext/json/config.m4 index fb87a93992..1411e83faa 100644 --- a/ext/json/config.m4 +++ b/ext/json/config.m4 @@ -15,7 +15,7 @@ PHP_NEW_EXTENSION(json, json_parser.tab.c \ json_scanner.c, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) - PHP_INSTALL_HEADERS([ext/json], [php_json.h]) + PHP_INSTALL_HEADERS([ext/json], [php_json.h php_json_parser.h php_json_scanner.h]) PHP_ADD_MAKEFILE_FRAGMENT() PHP_SUBST(JSON_SHARED_LIBADD) fi |