diff options
Diffstat (limited to 'ext/dom/config.m4')
| -rw-r--r-- | ext/dom/config.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/dom/config.m4 b/ext/dom/config.m4 index e6a2cc6bed..f07944569b 100644 --- a/ext/dom/config.m4 +++ b/ext/dom/config.m4 @@ -30,6 +30,7 @@ if test "$PHP_DOM" != "no"; then typeinfo.c domerror.c domlocator.c namednodemap.c userdatahandler.c], $ext_shared) PHP_SUBST(DOM_SHARED_LIBADD) + PHP_INSTALL_HEADERS([ext/dom/xml_common.h]) PHP_ADD_EXTENSION_DEP(dom, libxml) ], [ AC_MSG_ERROR([xml2-config not found. Please check your libxml2 installation.]) |