From: Yasuo Ohgaki <yohgaki@php.net>
Date: Thu, 17 Jan 2002 01:18:25 +0000 (+0000)
Subject: Use libxml2 header if there are older version. Reported by <jwagoner@wlion.com>
X-Git-Tag: PRE_ISSET_PATCH~182
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6c41675b0f44eb62046ca3aef7e6d10270587047;p=php

Use libxml2 header if there are older version. Reported by <jwagoner@wlion.com>
---

diff --git a/ext/domxml/config.m4 b/ext/domxml/config.m4
index 1f8ebea72e..7005a4b9c3 100644
--- a/ext/domxml/config.m4
+++ b/ext/domxml/config.m4
@@ -26,11 +26,11 @@ PHP_ARG_WITH(dom, for DOM support,
 if test "$PHP_DOM" != "no"; then
 
   DOMXML_DIR_ADD=""
-  if test -r $PHP_DOM/include/libxml/tree.h; then
-    DOMXML_DIR=$PHP_DOM
-  elif test -r $PHP_DOM/include/libxml2/libxml/tree.h; then
+  if test -r $PHP_DOM/include/libxml2/libxml/tree.h; then
     DOMXML_DIR=$PHP_DOM
     DOMXML_DIR_ADD="/libxml2"
+  elif test -r $PHP_DOM/include/libxml/tree.h; then
+    DOMXML_DIR=$PHP_DOM
   else
     for i in /usr/local /usr; do
       test -r $i/include/libxml/tree.h && DOMXML_DIR=$i