From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Tue, 12 May 2020 21:17:09 +0000 (-0400)
Subject: configure: report GMime minimum version in ./configure output
X-Git-Tag: archive/debian/0.30_rc0-1~22
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=78800929641fb79e758baa60d02216ed2ea941d0;ds=sidebyside

configure: report GMime minimum version in ./configure output

We already report the minimum version for Glib, zlib, and Xapian
development libraries.  For consistency, report it for GMime as well.

Signed-off-by: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
---

diff --git a/configure b/configure
index 37368bda..9f910b12 100755
--- a/configure
+++ b/configure
@@ -468,7 +468,7 @@ fi
 
 GMIME_MINVER=3.0.3
 
-printf "Checking for GMime development files... "
+printf "Checking for GMime development files (>= $GMIME_MINVER)... "
 if pkg-config --exists "gmime-3.0 >= $GMIME_MINVER"; then
     printf "Yes.\n"
     have_gmime=1