Fixed bug #8946. In some systems the libxml.* is actually libxml2.*

diff --git a/ext/domxml/config.m4 b/ext/domxml/config.m4
index f7fd9aed099c87781332888a923e14259f87ad77..3ded83a560533c069dfc38abd5166251fa15db88 100644 (file)
--- 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