From bbca5a86f868a37561c373fe1819a48e1c480e54 Mon Sep 17 00:00:00 2001
From: foobar <sniper@php.net>
Date: Mon, 29 Jan 2001 23:15:11 +0000
Subject: [PATCH] Fixed bug #8946. In some systems the libxml.* is actually
 libxml2.*

---
 ext/domxml/config.m4 | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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
-- 
2.40.0