summaryrefslogtreecommitdiff
path: root/ext/libxml/config.w32
diff options
context:
space:
mode:
authorPierre Joye <pajoye@php.net>2010-12-11 22:18:10 +0000
committerPierre Joye <pajoye@php.net>2010-12-11 22:18:10 +0000
commita7ffa09e18137de43c91ac5f2120c170679baeae (patch)
treef2d77b2d2c9e738db96bdde27b87bf5796327be5 /ext/libxml/config.w32
parent02ff4766c942985b73aa8932301fe7478a58c0ac (diff)
downloadphp-git-a7ffa09e18137de43c91ac5f2120c170679baeae.tar.gz
- add PHP_INSTALL_HEADERS to all parts (core&exts) exposing headers, generate the install-headers cmd
Diffstat (limited to 'ext/libxml/config.w32')
-rw-r--r--ext/libxml/config.w321
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/libxml/config.w32 b/ext/libxml/config.w32
index 7c9988f7e9..92144f9ad0 100644
--- a/ext/libxml/config.w32
+++ b/ext/libxml/config.w32
@@ -15,6 +15,7 @@ if (PHP_LIBXML == "yes") {
if (!PHP_LIBXML_SHARED) {
ADD_DEF_FILE("ext\\libxml\\php_libxml2.def");
}
+ PHP_INSTALL_HEADERS("ext/libxml/", "php_libxml.h");
} else {
WARNING("libxml support can't be enabled, iconv or libxml are missing")
PHP_LIBXML = "no"