diff options
author | foobar <sniper@php.net> | 2001-01-29 23:15:11 +0000 |
---|---|---|
committer | foobar <sniper@php.net> | 2001-01-29 23:15:11 +0000 |
commit | bbca5a86f868a37561c373fe1819a48e1c480e54 (patch) | |
tree | cdb9ca7886a2834135881836e1a262a39a183411 | |
parent | dee2fd1ec42046c27bb07481f30d60bca6e3b889 (diff) | |
download | php-git-bbca5a86f868a37561c373fe1819a48e1c480e54.tar.gz |
Fixed bug #8946. In some systems the libxml.* is actually libxml2.*
-rw-r--r-- | ext/domxml/config.m4 | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ext/domxml/config.m4 b/ext/domxml/config.m4 index f7fd9aed09..3ded83a560 100644 --- a/ext/domxml/config.m4 +++ b/ext/domxml/config.m4 @@ -46,8 +46,14 @@ if test "$PHP_DOM" != "no"; then AC_ADD_INCLUDE($DOMXML_DIR/include) + if test -f $DOMXML_DIR/lib/libxml2.a -o -f $DOMXML_DIR/lib/libxml2.s? ; then + DOM_LIBNAME="xml2" + else + DOM_LIBNAME="xml" + fi + PHP_SUBST(DOMXML_SHARED_LIBADD) - AC_ADD_LIBRARY_WITH_PATH(xml, $DOMXML_DIR/lib, DOMXML_SHARED_LIBADD) + AC_ADD_LIBRARY_WITH_PATH($DOM_LIBNAME, $DOMXML_DIR/lib, DOMXML_SHARED_LIBADD) if test $HAVE_ZLIB; then old_withval=$withval |