X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=dad55e2cb032ad1b0e7ef5f57504eadfb72f2672;hb=1085f5128713881e135ea83fbdf411b99e8f32b6;hp=1ef538bca60ae2c120a433df8aca080f616e5963;hpb=4258516c49dcb4da78d9bf1b5fc17458980d9908;p=pspp-builds.git

diff --git a/configure.ac b/configure.ac
index 1ef538bc..dad55e2c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -59,6 +59,8 @@ required_gtk_version=2.12
 if test x"$with_gui" != x"no" ; then 
   PKG_CHECK_MODULES(GTK, gtk+-2.0 >= $required_gtk_version,,
     [PSPP_REQUIRED_PREREQ([gtk+ 2.0 v$required_gtk_version or later (or use --without-gui)])])
+  AC_PATH_PROG([XMLLINT], [xmllint], [echo], [$PATH])
+  AC_SUBST(XMLLINT)
 fi
 AM_CONDITIONAL(WITHGUI, test x"$with_gui" != x"no")