diff options
author | Pierre Joye <pajoye@php.net> | 2010-12-11 22:18:10 +0000 |
---|---|---|
committer | Pierre Joye <pajoye@php.net> | 2010-12-11 22:18:10 +0000 |
commit | a7ffa09e18137de43c91ac5f2120c170679baeae (patch) | |
tree | f2d77b2d2c9e738db96bdde27b87bf5796327be5 /ext/xml | |
parent | 02ff4766c942985b73aa8932301fe7478a58c0ac (diff) | |
download | php-git-a7ffa09e18137de43c91ac5f2120c170679baeae.tar.gz |
- add PHP_INSTALL_HEADERS to all parts (core&exts) exposing headers, generate the install-headers cmd
Diffstat (limited to 'ext/xml')
-rw-r--r-- | ext/xml/config.w32 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/xml/config.w32 b/ext/xml/config.w32 index ed0352701b..4ee0bd1602 100644 --- a/ext/xml/config.w32 +++ b/ext/xml/config.w32 @@ -11,8 +11,9 @@ if (PHP_XML == "yes") { if (!PHP_XML_SHARED) { ADD_FLAG("CFLAGS_XML", "/D LIBXML_STATIC "); } + PHP_INSTALL_HEADERS("", "ext/xml"); } else { WARNING("xml support can't be enabled, libraries or headers are missing") PHP_ZLIB = "no" } -}
\ No newline at end of file +} |