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/dom/config.w32 | |
| 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/dom/config.w32')
| -rw-r--r-- | ext/dom/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/dom/config.w32 b/ext/dom/config.w32 index 8fba39336a..cbe15af1ab 100644 --- a/ext/dom/config.w32 +++ b/ext/dom/config.w32 @@ -19,6 +19,7 @@ if (PHP_DOM == "yes") { if (!PHP_DOM_SHARED) { ADD_FLAG("CFLAGS_DOM", "/D LIBXML_STATIC "); } + PHP_INSTALL_HEADERS("ext/dom", "xml_common.h"); } else { WARNING("dom support can't be enabled, libxml is not enabled") PHP_DOM = "no" |