]> granicus.if.org Git - php/commitdiff
Use libxml2 header if there are older version. Reported by <jwagoner@wlion.com>
authorYasuo Ohgaki <yohgaki@php.net>
Thu, 17 Jan 2002 01:18:25 +0000 (01:18 +0000)
committerYasuo Ohgaki <yohgaki@php.net>
Thu, 17 Jan 2002 01:18:25 +0000 (01:18 +0000)
ext/domxml/config.m4

index 1f8ebea72ec1cbb2e9bdddb21b3e789b13d23466..7005a4b9c3f03519f63f92730eb4ab786a93b4a0 100644 (file)
@@ -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