mirror of
https://github.com/php/php-src.git
synced 2024-09-23 02:47:26 +00:00
31 lines
861 B
JavaScript
31 lines
861 B
JavaScript
// $Id$
|
|
// vim: ft=javascript
|
|
|
|
ARG_WITH("xsl", "xsl support", "no");
|
|
|
|
if (PHP_XSL != "no") {
|
|
if (PHP_DOM == "yes" && PHP_LIBXML == "yes") {
|
|
var ext_xsl_lib_found = false;
|
|
|
|
if (CHECK_LIB("libxslt_a.lib", "xsl", PHP_XSL)) {
|
|
ADD_FLAG("CFLAGS_XSL", "/D LIBXSLT_STATIC ");
|
|
ext_xsl_lib_found = true;
|
|
} else if (CHECK_LIB("libxslt.lib", "xsl", PHP_XSL)) {
|
|
ext_xsl_lib_found = true;
|
|
}
|
|
|
|
if (ext_xsl_lib_found && CHECK_HEADER_ADD_INCLUDE("libxslt\\xslt.h", "CFLAGS_XSL")) {
|
|
|
|
EXTENSION("xsl", "php_xsl.c xsltprocessor.c", PHP_XSL_SHARED);
|
|
AC_DEFINE("HAVE_XSL", 1, "Define if xsl extension is enabled");
|
|
if (! PHP_XSL_SHARED) {
|
|
ADD_FLAG("CFLAGS_XSL", "/D DOM_EXPORTS /D LIBXML_STATIC");
|
|
}
|
|
} else {
|
|
WARNING("xsl not enabled; libraries and headers not found");
|
|
}
|
|
} else {
|
|
WARNING("xsl not enabled; DOM extension required");
|
|
}
|
|
}
|