X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=fd60137ca233b4684c1893f2c99458508b5e1610;hb=8b71948cd57dbd2787cb4c50525b957e9be8a62b;hp=1dc8e55896a723ffe50322b9beec0353eda0a116;hpb=7c08a6e1009cf60847e770a77a73c650e9326379;p=pspp-builds.git

diff --git a/configure.ac b/configure.ac
index 1dc8e558..fd60137c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -61,6 +61,8 @@ if test "$with_cairo" != no; then
      AC_DEFINE([HAVE_CAIRO], 1, 
        [Define to 1 if Cairo and Pango are available.])],
     [PSPP_REQUIRED_PREREQ([cairo 1.5 or later and pango 1.20 or later (or use --without-cairo)])])
+  AC_PATH_PROG([XMLLINT], [xmllint], [echo], [$PATH])
+  AC_SUBST(XMLLINT)
 fi
 
 # Support for GUI.