mirror of
https://github.com/php/php-src.git
synced 2025-08-20 09:24:05 +02:00
test for dom extension
This commit is contained in:
parent
2fb978a773
commit
c09003a910
1 changed files with 12 additions and 8 deletions
|
@ -4,6 +4,7 @@
|
||||||
ARG_WITH("xsl", "xsl support", "no");
|
ARG_WITH("xsl", "xsl support", "no");
|
||||||
|
|
||||||
if (PHP_XSL != "no") {
|
if (PHP_XSL != "no") {
|
||||||
|
if (PHP_DOM == "yes" && PHP_LIBXML == "yes") {
|
||||||
if (CHECK_LIB("libxslt.lib", "xsl", PHP_XSL) &&
|
if (CHECK_LIB("libxslt.lib", "xsl", PHP_XSL) &&
|
||||||
CHECK_LIB("libxml2.lib", "xsl") &&
|
CHECK_LIB("libxml2.lib", "xsl") &&
|
||||||
CHECK_HEADER_ADD_INCLUDE("libxslt\\xslt.h", "CFLAGS_XSL")) {
|
CHECK_HEADER_ADD_INCLUDE("libxslt\\xslt.h", "CFLAGS_XSL")) {
|
||||||
|
@ -15,4 +16,7 @@ if (PHP_XSL != "no") {
|
||||||
} else {
|
} else {
|
||||||
WARNING("xsl not enabled; libraries and headers not found");
|
WARNING("xsl not enabled; libraries and headers not found");
|
||||||
}
|
}
|
||||||
|
} else {
|
||||||
|
WARNING("xsl not enabled; DOM extension required");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue