From: Luca Padovani <luca.padovani@unito.it>
Date: Sat, 30 Mar 2002 17:22:13 +0000 (+0000)
Subject: error in check for xml2-config
X-Git-Tag: V_0_3_0_debian_8~184
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=58a86ec5f2286341ea465dab4e5ff06a68eb07fa;p=helm.git

error in check for xml2-config
---

diff --git a/helm/minidom/configure.in b/helm/minidom/configure.in
index 7dfa2b6e7..c8817c216 100644
--- a/helm/minidom/configure.in
+++ b/helm/minidom/configure.in
@@ -37,15 +37,17 @@ AC_CHECK_LIB(glib, g_malloc,
 	`glib-config --libs`
 )
 
-AC_CHECK_PROG(XML_CONFIG, xml2-config, xml2-config)
-AC_CHECK_PROG(XML_CONFIG, xml-config, xml-config, no)
+AC_CHECK_PROG(XML_CONFIG, xml2-config, xml2-config, no)
+if test $XML_CONFIG = "no"; then
+	AC_CHECK_PROG(XML_CONFIG, xml-config, xml-config, no)
+fi
 AC_SUBST(XML_CONFIG)
 
 if test $XML_CONFIG = "no"; then
 	AC_MSG_ERROR(could not find configuration script for libxml)
 fi
 
-if test $XML_CONFIG = xml2-config -a libxml2 = "auto"; then
+if test $XML_CONFIG = "xml2-config" -a $libxml2 = "auto"; then
 	libxml2="yes"
 fi