From 17d4be0cb7d6ff4a9ea3747b1dd1a16e2c55f7c4 Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Wed, 13 May 2015 13:28:58 +0200 Subject: [PATCH] fix libxml2 headers lookup --- ext/xsl/config.w32 | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ext/xsl/config.w32 b/ext/xsl/config.w32 index 1b3864dd08..47c8bbff94 100644 --- a/ext/xsl/config.w32 +++ b/ext/xsl/config.w32 @@ -6,7 +6,9 @@ ARG_WITH("xsl", "xsl support", "no"); if (PHP_XSL != "no") { if (PHP_DOM == "yes" && PHP_LIBXML == "yes" && ADD_EXTENSION_DEP('xsl', 'libxml') - && ADD_EXTENSION_DEP('xsl', 'dom')) { + && ADD_EXTENSION_DEP('xsl', 'dom') + && CHECK_HEADER_ADD_INCLUDE("libxml/tree.h", "CFLAGS_XSL", PHP_PHP_BUILD + "\\include\\libxml2") + ) { var ext_xsl_lib_found = false; var ext_exslt_lib_found = false; -- 2.50.1