diff options
Diffstat (limited to 'ext/dom/config.w32')
| -rw-r--r-- | ext/dom/config.w32 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/dom/config.w32 b/ext/dom/config.w32 index cbe15af1ab..0e8e12bb9a 100644 --- a/ext/dom/config.w32 +++ b/ext/dom/config.w32 @@ -18,6 +18,10 @@ if (PHP_DOM == "yes") { if (!PHP_DOM_SHARED) { ADD_FLAG("CFLAGS_DOM", "/D LIBXML_STATIC "); + } else { + if (!CHECK_LIB("libxml2.lib", "dom")) { + WARNING("dom support can't be enabled, libxml is not found") + } } PHP_INSTALL_HEADERS("ext/dom", "xml_common.h"); } else { |