diff options
| -rw-r--r-- | ext/xsl/config.w32 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ext/xsl/config.w32 b/ext/xsl/config.w32 index 37da4bd630..1b3864dd08 100644 --- a/ext/xsl/config.w32 +++ b/ext/xsl/config.w32 @@ -4,7 +4,9 @@ ARG_WITH("xsl", "xsl support", "no"); if (PHP_XSL != "no") { - if (PHP_DOM == "yes" && PHP_LIBXML == "yes") { + if (PHP_DOM == "yes" && PHP_LIBXML == "yes" + && ADD_EXTENSION_DEP('xsl', 'libxml') + && ADD_EXTENSION_DEP('xsl', 'dom')) { var ext_xsl_lib_found = false; var ext_exslt_lib_found = false; @@ -37,7 +39,7 @@ if (PHP_XSL != "no") { ADD_FLAG("LDFLAGS_XSL", "/nodefaultlib:msvcrt"); } } - ADD_EXTENSION_DEP('xsl', 'libxml'); + } else { WARNING("xsl not enabled; libraries and headers not found"); } |