diff options
| author | Johannes Schlüter <johannes@php.net> | 2009-06-23 13:09:34 +0000 |
|---|---|---|
| committer | Johannes Schlüter <johannes@php.net> | 2009-06-23 13:09:34 +0000 |
| commit | 96d5c5e93138088c281c2f9536366a628c60e49c (patch) | |
| tree | 44d0a7b6ffb263526bcf38dd273b9bc5f415454b | |
| parent | 6b3f0cfc54598d858094982d83d06e2e54998e77 (diff) | |
| download | php-git-96d5c5e93138088c281c2f9536366a628c60e49c.tar.gz | |
The json header should be installed so other exts can use it
| -rw-r--r-- | ext/json/config.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/json/config.m4 b/ext/json/config.m4 index ade797a12d..b62e938421 100644 --- a/ext/json/config.m4 +++ b/ext/json/config.m4 @@ -10,5 +10,6 @@ if test "$PHP_JSON" != "no"; then AC_HEADER_STDC PHP_NEW_EXTENSION(json, json.c utf8_to_utf16.c utf8_decode.c JSON_parser.c, $ext_shared) + PHP_INSTALL_HEADERS([ext/json], [php_json.h]) PHP_SUBST(JSON_SHARED_LIBADD) fi |