From c0f221a77d0d42f6e8190c92b995b6f38fb53856 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 30 Apr 2020 19:41:09 +0200
Subject: Less confusing configure message when lablgtk exists but not
 lablgtksourceview.

---
 configure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.ml b/configure.ml
index 0eff70999d..75c11dab5f 100644
--- a/configure.ml
+++ b/configure.ml
@@ -751,10 +751,10 @@ let check_coqide () =
   if !prefs.coqide = Some No then set_ide No "CoqIde manually disabled";
   let dir, via = get_lablgtkdir () in
   if dir = ""
-  then set_ide No "LablGtk3 not found"
+  then set_ide No "LablGtk3 or LablGtkSourceView3 not found"
   else
     let (ok, version) = check_lablgtk_version () in
-    let found = sprintf "LablGtk3 found (%s)" version in
+    let found = sprintf "LablGtk3 and LablGtkSourceView3 found (%s)" version in
     if not ok then set_ide No (found^", but too old (required >= 3.0, found " ^ version ^ ")");
     (* We're now sure to produce at least one kind of coqide *)
     lablgtkdir := shorten_camllib dir;
-- 
cgit v1.2.3