mirror of
https://github.com/php/php-src.git
synced 2024-12-22 08:20:23 +08:00
8d3f8ca12a
The $Id$ keywords were used in Subversion where they can be substituted with filename, last revision number change, last changed date, and last user who changed it. In Git this functionality is different and can be done with Git attribute ident. These need to be defined manually for each file in the .gitattributes file and are afterwards replaced with 40-character hexadecimal blob object name which is based only on the particular file contents. This patch simplifies handling of $Id$ keywords by removing them since they are not used anymore.
22 lines
706 B
JavaScript
22 lines
706 B
JavaScript
// vim:ft=javascript
|
|
|
|
ARG_WITH("xml", "XML support", "yes");
|
|
|
|
if (PHP_XML == "yes") {
|
|
if (PHP_LIBXML == "yes" &&
|
|
ADD_EXTENSION_DEP('xml', 'libxml') &&
|
|
CHECK_HEADER_ADD_INCLUDE("libxml/parser.h", "CFLAGS_XML", PHP_PHP_BUILD + "\\include\\libxml2") &&
|
|
CHECK_HEADER_ADD_INCLUDE("libxml/tree.h", "CFLAGS_XML", PHP_PHP_BUILD + "\\include\\libxml2")
|
|
) {
|
|
EXTENSION("xml", "xml.c compat.c", null, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
|
|
AC_DEFINE("HAVE_XML", 1, "XML support");
|
|
if (!PHP_XML_SHARED) {
|
|
ADD_FLAG("CFLAGS_XML", "/D LIBXML_STATIC ");
|
|
}
|
|
PHP_INSTALL_HEADERS("", "ext/xml");
|
|
} else {
|
|
WARNING("xml support can't be enabled, libraries or headers are missing")
|
|
PHP_ZLIB = "no"
|
|
}
|
|
}
|