php-src/ext/xsl/config.w32

19 lines
530 B
Plaintext
Raw Normal View History

2003-12-04 12:37:04 +00:00
// $Id$
// vim: ft=javascript
ARG_WITH("xsl", "xsl support", "no");
2003-12-04 12:46:20 +00:00
if (PHP_XSL != "no") {
2003-12-04 12:37:04 +00:00
if (CHECK_LIB("libxslt.lib", "xsl", PHP_XSL) &&
CHECK_LIB("libxml2.lib", "xsl") &&
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 ");
}
} else {
WARNING("xsl not enabled; libraries and headers not found");
}
}